1036 search results - page 49 / 208 » Natural Narrowing for General Term Rewriting Systems |
SIGSOFT
2003
ACM
14 years 27 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
IUI
2005
ACM
14 years 1 months ago
2005
ACM
Museum visitors can continue interacting with museum exhibits even after they have left the museum. We can help them do this by creating a report that includes a basic, personaliz...
ICMI
2009
Springer
14 years 2 months ago
2009
Springer
This paper presents a system for the automatic detection of agreements in multi-party conversations. We investigate various types of features that are useful for identifying agree...
DOCENG
2005
ACM
13 years 9 months ago
2005
ACM
Information Retrieval systems are limited by the linguistic variation of language. The use of Natural Language Processing techniques to manage this problem has been studied for a ...
DOLAP
2007
ACM
13 years 11 months ago
2007
ACM
Expressing preferences when querying databases is a natural way to avoid empty results and information flooding, and in general to rank results so that the user may first see the ...