77 search results - page 13 / 16 » A Logic for Knowledge, Correctness, and Real Time |
AAAI
2008
13 years 9 months ago
2008
"Human computation" is a recent approach that extracts information from large numbers of Web users. reCAPTCHA is a human computation project that improves the process of...
MDM
2004
Springer
14 years 2 days ago
2004
Springer
Location-based applications require a well-formed representation of spatial knowledge. Current location models can be classified into symbolic or geometric models. The former att...
ECAI
2000
Springer
13 years 11 months ago
2000
Springer
This paper describes an advanced system for multilingual text classification adaptable to different user needs. The system has been initially developed as an applied research proje...
ENGL
2007
13 years 6 months ago
2007
—Defect tracking using computational intelligence methods is used to predict software readiness in this study. By comparing predicted number of faults and number of faults discov...
INFORMS
1998
13 years 6 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...