2519 search results - page 328 / 504 » Reasoning with Textual Cases |
165
click to vote
TARK
2005
Springer
16 years 6 hour ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
145
click to vote
SPAA
2004
ACM
15 years 12 months ago
2004
ACM
Despite years of research, the design of efficient nonblocking algorithms remains difficult. A key reason is that current shared-memory multiprocessor architectures support only s...
143
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
CRIKEY is a planner that separates out the scheduling from the classical parts of temporal planning. This can be seen as a relaxation of the temporal information during the classic...
153
click to vote
EWCBR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Critiquing is a powerful style of feedback for case-based recommender systems. Instead of providing detailed feature values, users indicate a directional preference for a...
164
click to vote
LCPC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Branch predictors are associated with critical design issues for nowadays instruction greedy processors. We study two important domains where the optimization of decision...