Sciweavers

209 search results - page 34 / 42
» An Intelligent Process Monitoring System in Complex Manufact...
Sort
View
ATAL
2003
Springer
15 years 2 months 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...
100
Voted
AVSS
2007
IEEE
14 years 9 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
15 years 28 days 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
70
Voted
ECIS
2001
14 years 10 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
14 years 7 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