1677 search results - page 157 / 336 » On the Completeness of Quantum Computation Models |
175
click to vote
JAIR
2006
15 years 6 months ago
2006
We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of...
171
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper studies the notion of “freshness” that often occurs in the meta-theory of computer science languages involving various kinds of names. Nominal Equational Logic is a...
172
click to vote
SCHEDULING
2010
15 years 5 months ago
2010
This paper reconsiders the PERT scheduling problem when information about task duration is incomplete. We model uncertainty on task durations by intervals. With this problem formu...
182
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
This paper introduces a new concept of surveillance, namely, audio-visual data integration for background modelling. Actually, visual data acquired by a fixed camera can be easily ...
156
click to vote
ACSC
2005
IEEE
16 years 6 days ago
2005
IEEE
Curriculum based on internetworking devices is primarily based on the Command Line Interface (CLI) and case studies. However a single CLI command may produce output that is not on...