4480 search results - page 212 / 896 » Prototyping Completion with Constraints Using Computational ... |
136
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
In this paper, we present a prototype video surveillance system that uses stationary-dynamic (or master-slave) camera assemblies to achieve wide-area surveillance and selective fo...
153
click to vote
FLAIRS
2009
15 years 4 months ago
2009
1 Two sentences are paraphrases if their meanings are equivalent but their words and syntax are different. Paraphrasing can be used to aid comprehension, stimulate prior knowledge,...
272
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being...
179
click to vote
WPES
2006
ACM
16 years 13 days ago
2006
ACM
Recent trends in Internet computing have led to the popularization of many forms of virtual organizations. Examples include supply chain management, grid computing, and collaborat...
224
click to vote
KES
2005
Springer
15 years 12 months ago
2005
Springer
Increasing amount of illicit image data transmitted via the internet has triggered the need to develop effective image mining systems for digital forensics purposes. This paper dis...