5671 search results - page 402 / 1135 » A Semantic Approach to Interpolation |
226
click to vote
PAMI
2007
15 years 7 months ago
2007
—A system that could automatically analyze the facial actions in real time has applications in a wide range of different fields. However, developing such a system is always chall...
243
click to vote
ICCBR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Case-Based Reasoning (CBR) solves problems by reusing past problemsolving experiences maintained in a casebase. The key CBR knowledge container therefore is its casebase....
352
click to vote
ICDE
2009
IEEE
16 years 9 months ago
2009
IEEE
Abstract-- When dealing with massive quantities of data, topk queries are a powerful technique for returning only the k most relevant tuples for inspection, based on a scoring func...
214
click to vote
ESWS
2007
Springer
16 years 1 months ago
2007
Springer
Traditional process support systems typically offer a static composition of atomic tasks to more powerful services. In the real world, however, processes change over time: busines...
211
click to vote
FMCAD
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...