The emerging contemporary natural philosophy provides a common ground for the integrative view of natural, artificial, and human-social knowledge practices. Learning process is central acquiring, maintaining, managing knowledge, both theoretical practical. This paper explores relationships between present advances in understanding learning sciences artificial (deep learning, robotics), (neurosc...

We consider two symbolic approaches to bounded model checking (BMC) of distributed time Petri nets (DTPNs). We focus on the properties expressed in Linear Temporal Logic without the neXt-time operator (LTL−X) and the existential fragment of Computation Tree Logic without the neXt-time operator (ECTL−X). We give a translation of BMC to SAT and describe a BDD-based BMC for both LTL−X and ECTL−X. ...

As microprocessor clock speeds continue to climb, it has become increasingly di cult to keep computations supplied with data from memory [P97] [GHI95] [MSM97]. One promising solution is to move some of the computation into memory. We focus upon Active Pages, a model of computation that can be implemented inexpensively in conventional DRAMs [OCS98] [OHK99]. Active Page memory systems are meant t...

Intelligent intersections have the potential to serve as an integral part of tomorrow’s traffic infrastructure. Wireless communication is key enabling such technology. We consider a scenario where two flows vehicles traverse intelligent intersection. investigate safety in emergency braking scenarios, one flow suddenly decides brake and messages are broadcast affected vehicles. provide framework...

78 1094-7167/01/$10.00 © 2001 IEEE IEEE INTELLIGENT SYSTEMS avoidance technologies, enhance the driver’s ability to sense the surrounding environment. Driver assistance and automation technologies simulate the driver’s sensorimotor system to operate a vehicle either temporarily during emergencies or for prolonged periods. Such new information and control technologies that make vehicles smarter ...

1 The Computation of All 4R Serial Spherical Wrists With an Isotropic Architecture Damien Chablat and Jorge Angeles Institut de Recherche en Communications et Cybernétique de Nantes 1, rue de la Noë, 44321 Nantes, France Department of Mechanical Engineering & Centre for Intelligent Machines, McGill University 817 Sherbrooke Street West, Montreal, Canada H3A 2K6 [email protected]...

Efficient approaches to computationally intensive image processing tasks are currently highly sought after. In this chapter we show how a blackboard paradigm, originally developed for collaborative problem solving, can be used as an efficient and effective vehicle for distributed computation. Through the design of dedicated intelligent agents, typical image processing algorithms can be applied ...

In this paper we present our work towards an integrated P2P platform for convenient music retrieval. The main goal is to provide a distributed computation and storage of basic music features from MP3 encoded files and/or sources on the web. In this way we try to resolve the problem of missing meta data in order to provide intelligent services for convenient music querying. We believe that such ...

Jihao Fan, ∗ Yonghui Li, † Min-Hsiu Hsieh, ‡ and Hanwu Chen 4, § School of Computer Science and Engineering, Southeast University, Nanjing, Jiangsu 211189, China School of Electrical and Information Engineering, University of Sydney, Sydney, NSW 2006, Australia Centre for Quantum Computation and Intelligent Systems, Faculty of Engineering and Information Technology, University of Technology Syd...