1643 search results - page 250 / 329 » Consistability: Describing Usually Consistent Systems |
SEDE
2007
15 years 13 days ago
2007
Math search is a new area of research with many enabling technologies but also many challenges. Some of the enabling technologies include XML, XPath, XQuery, and MathML. Some of t...
ACL
1998
15 years 11 days ago
1998
This paper describes a domain independent, automatically trained call router which directs customer calls based on their response to an open-ended "How may I direct your call...
117
click to vote
ERCIMDL
2010
Springer
15 years 3 days ago
2010
Springer
A well-known challenge of information retrieval is how to infer a user's underlying information need when the input query consists of only a few keywords. Question Answering (...
ECOI
2010
14 years 9 months ago
2010
We describe a semantic data validation tool that is capable of observing incoming real-time sensor data and performing reasoning against a set of rules specific to the scientific d...
CADE
2005
Springer
15 years 11 months ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...