Sciweavers

209 search results - page 34 / 42
» An Intelligent Process Monitoring System in Complex Manufact...
Sort
View
ATAL
2003
Springer
14 years 28 days ago
Scenario description for multi-agent simulation
Making it easier to design interactions between agents and humans is essential for realizing multi-agent simulations of social phenomena such as group dynamics. To realize large-s...
Yohei Murakami, Toru Ishida, Tomoyuki Kawasoe, Rei...
AVSS
2007
IEEE
13 years 7 months ago
A particle filter based fusion framework for video-radio tracking in smart spaces
One of the main issues for Ambient Intelligence (AmI) systems is to continuously localize the user and to detect his/her identity in order to provide dedicated services. A video-r...
Alessio Dore, Andrea F. Cattoni, Carlo S. Regazzon...
LICS
1989
IEEE
13 years 11 months ago
Elf: A Language for Logic Definition and Verified Metaprogramming
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
Frank Pfenning
ECIS
2001
13 years 9 months ago
Thirty Years Later: The Informational and the Evolution of Consciousness
The paper deals with the development of the informational since the IFIP '71 Congress in Ljubljana when the new consciousness evolved to the necessity of nowadays information...
Anton P. Zeleznikar
KI
2010
Springer
13 years 6 months ago
CoTeSys - Cognition for Technical Systems
The COTESYS cluster of excellence1 investigates cognition for technical systems such as vehicles, robots, and factories. Cognitive technical systems (CTS) are information processi...
Martin Buss, Michael Beetz