177 search results - page 33 / 36 » Combining Proof-Producing Decision Procedures |
MM
2003
ACM
14 years 4 months ago
2003
ACM
combinFormation is a tool that enables browsing and collecting information elements in a generative space. By generative, we mean that the tool is an agent that automatically retr...
CVPR
2005
IEEE
15 years 26 days ago
2005
IEEE
Boosting based detection methods have successfully been used for robust detection of faces and pedestrians. However, a very large amount of labeled examples are required for train...
POPL
2009
ACM
14 years 11 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
VLSID
2007
IEEE
14 years 11 months ago
2007
IEEE
Recent advances in microfluidics technology have led to the emergence of miniaturized biochip devices for biochemical analysis. A promising category of microfluidic biochips relie...
AIME
2009
Springer
14 years 5 months ago
2009
Springer
The care of the elder at home is highly demanded in modern societies. It is based on the difficult task of coordinating multiple professionals and procedures acting on the same pa...