2501 search results - page 75 / 501 » Semiotics and Intelligent Control |
CP
2006
Springer
14 years 14 days ago
2006
Springer
An important issue for temporal planners is the ability to handle temporal uncertainty. Recent papers have addressed the question of how to tell whether a temporal network is Dynam...
APN
2001
Springer
14 years 12 days ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
FLAIRS
2008
13 years 11 months ago
2008
We develop a formal system dealing `spatially' with certain aspects of uniformity and control during knowledge acquisition. To this end, we study an appropriate modality, whi...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
In this article, we propose an approach of nonverbal interaction with virtual agents to control agents' behavioral expressivity by extracting and combining acoustic and gestu...
EVOW
2008
Springer
13 years 10 months ago
2008
Springer
In many cases what matters is not whether a false discovery is made or not but the expected proportion of false discoveries among all the discoveries made, i.e. the so-called false...