4401 search results - page 535 / 881 » Computing with Default Logic |
165
click to vote
IPPS
2006
IEEE
16 years 25 days ago
2006
IEEE
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...
152
click to vote
SAC
2006
ACM
16 years 23 days ago
2006
ACM
This paper describes the Resource Allocation and Control Engine (RACE) that integrates multiple resource management algorithms for (re)deploying and managing performance of applic...
180
click to vote
AVSS
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper describes the architecture of a visual surveillance system that combines real time computer vision algorithms with logic programming to represent and recognize activiti...
168
Voted
ACII
2005
Springer
16 years 11 days ago
2005
Springer
We propose an architecture of an embodied conversational agent that takes into account two aspects of emotions: the emotions triggered by an event (the felt emotions) and the expre...
198
click to vote
BIRTHDAY
2005
Springer
16 years 11 days ago
2005
Springer
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...