506 search results - page 68 / 102 » Constructor-based observational logic |
89
Voted
IPPS
2006
IEEE
15 years 6 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
15 years 6 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...
104
Voted
FPT
2005
IEEE
15 years 6 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...
92
Voted
ICRA
2005
IEEE
15 years 6 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 ...
121
click to vote
ATAL
2005
Springer
15 years 6 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...