1631 search results - page 127 / 327 » Observing Functional Logic Computations |
121
Voted
ACCV
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. To develop statistical models for shapes, we utilize an elastic string representation where curves (denoting shapes) can bend and locally stretch (or compress) to optimal...
148
Voted
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
117
Voted
IPPS
2006
IEEE
15 years 9 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...
132
click to vote
AVSS
2005
IEEE
15 years 9 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...
146
click to vote
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...