16541 search results - page 3023 / 3309 » Ontologies and Software Engineering |
192
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
Transactional requirements, from new application domains and execution environments, are varying and may exceed traditional ACID properties. We believe that transactional middlewa...
277
click to vote
Publication
We present a data-driven, unsupervised method for unusual
scene detection from static webcams. Such time-lapse
data is usually captured with very low or varying framerate.
This ...
190
click to vote
Publication
We present an algorithm for multi-person tracking-bydetection
in a particle filtering framework. To address the
unreliability of current state-of-the-art object detectors, our
a...
158
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
We present a user-friendly approach to unifying program creation and execution, based on a notion of "tangible values" (TVs), which are visual and interactive manifestat...
221
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...