1022 search results - page 84 / 205 » Specification of Dynamics for Knowledge-Based Systems |
CRV
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper describes a surveillance system that uses a network of sensors of different kind for localizing and tracking people in an office environment. The sensor network consist...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
Control algorithms implemented directly in hardware take advantage of parallel signal processing. Furthermore, implementing controller functionality in reconfigurable hardware fac...
ATAL
2006
Springer
14 years 25 days ago
2006
Springer
This paper introduces a new design method for multi-agent systems (MAS) that incorporate logic programming. The DigitalFriend is an example of a MAS with a built-in logic language...
FMOODS
2000
13 years 10 months ago
2000
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
IJHPCN
2008
13 years 9 months ago
2008
: Publish/Subscribe infrastructures have gained significant traction recently with several specifications such as the Java Message Service (JMS), WS-Eventing and WS-Notification. I...