1941 search results - page 179 / 389 » On the Hardness of Approximate Reasoning |
195
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
The objective of the Maximal Constraint Satisfaction Problem (Max-CSP) is to find an instantiation which minimizes the number of constraint violations in a constraint network. In t...
163
click to vote
FTCS
1998
15 years 7 months ago
1998
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
167
click to vote
AAAI
1994
15 years 7 months ago
1994
CAT0 is an instructions environment for practicing basic skills of legal research: to use cases in arguments about a problem situation and to test a theory about a legal domain. U...
162
click to vote
CSL
2006
Springer
15 years 6 months ago
2006
Springer
We propose and motivate an alternative to the traditional error-based or cost-based evaluation metrics for the goodness of speaker detection performance. The metric that we propos...
148
click to vote
GIS
2010
ACM
15 years 4 months ago
2010
ACM
Map matching is a fundamental operation in many applications such as traffic analysis and location-aware services, the killer apps for ubiquitous computing. In the past, several m...