7960 search results - page 578 / 1592 » Systems for Knowledge and Beliefs |
174
Voted
CORR
2006
Springer
15 years 7 months ago
2006
Springer
In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size ...
163
click to vote
IPM
2006
15 years 7 months ago
2006
Similarity calculations and document ranking form the computationally expensive parts of query processing in ranking-based text retrieval. In this work, for these calculations, 11...
217
click to vote
KES
2007
Springer
15 years 7 months ago
2007
Springer
This paper describes a practical dynamic route planning method using real road maps in a wide area. The maps include traffic signals, road classes, and the number of lanes. The pr...
222
Voted
CSCW
2000
ACM
15 years 7 months ago
2000
ACM
This paper describes a novel knowledge-based approach for helping workflow process designers and participants better manage the exceptions (deviations from an ideal collaborative ...
211
click to vote
CSCW
2002
ACM
15 years 7 months ago
2002
ACM
An activity theory model and a mediating artifacts hierarchy were employed to help identify the needs for tools for customer support engineers who documented solutions to customer...