504 search results - page 64 / 101 » Observational Logic |
IPPS
2006
IEEE
14 years 2 months 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...
AVSS
2005
IEEE
14 years 2 months 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...
FPT
2005
IEEE
14 years 2 months ago
2005
IEEE
A methodology for supporting dynamic voltage scaling (DVS) on commercial FPGAs is described. A logic delay measurement circuit (LDMC) is used to determine the speed of an inverter...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— This paper proposes a control scheme dedicated to underactuated fingers with the intention of maximizing the capabilities of the latter using tactile and position information ...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...