10055 search results - page 1660 / 2011 » Structured programming using processes |
238
click to vote
CADE
2011
Springer
14 years 3 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
136
click to vote
CVPR
2006
IEEE
16 years 5 months ago
2006
IEEE
Given three or four synchronized videos taken at eye level and from different angles, we show that we can effectively use dynamic programming to accurately follow up to six indivi...
155
click to vote
KDD
2002
ACM
16 years 3 months ago
2002
ACM
Multimedia data mining requires the ability to automatically analyze and understand the content. The Community of Multimedia Agents project is devoted to creating a community of re...
136
click to vote
CHI
2006
ACM
16 years 3 months ago
2006
ACM
We address the problem of collecting a database of "common-sense facts" using a computer game. Informally, a common-sense fact is a true statement about the world that i...
219
click to vote
VLDB
2003
ACM
16 years 3 months ago
2003
ACM
Service composition is gaining momentum as the potential silver bullet for the envisioned Semantic Web. It purports to take the Web to unexplored efficiencies and provide a flexibl...