1917 search results - page 179 / 384 » Experimenting with Nonmonotonic Reasoning |
158
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
196
click to vote
AIME
2009
Springer
16 years 1 months ago
2009
Springer
: Mental healthcare is a prospective area for applying AI techniques. For example, a computerized system could support individuals with a history of depression in maintaining their...
193
click to vote
ASIACRYPT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Secure multi-party computation has been considered by the cryptographic community for a number of years. Until recently it has been a purely theoretical area, with few im...
267
click to vote
ICB
2009
Springer
16 years 1 months ago
2009
Springer
Face recognition performance can be significantly influenced by face image quality. The approved ISO/IEC standard 19794-5 has specified recommendations for face photo taking for...
156
click to vote
ICCBR
2009
Springer
16 years 1 months ago
2009
Springer
Web search is the main way for millions of users to access information every day, but we continue to struggle when it comes to finding the right information at the right time. In ...