2715 search results - page 147 / 543 » An Implementation of Narrowing Strategies |
161
click to vote
CSL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Focusing is traditionally seen as a means of reducing inessential nondeterminism in backward-reasoning strategies such as uniform proof-search or tableaux systems. In thi...
155
click to vote
UM
2005
Springer
15 years 11 months ago
2005
Springer
The taking of initiative has significance in spoken language dialogue systems and in human-computer interaction. A system that takes no initiative may fail to seize opportunities ...
119
click to vote
NIME
2004
Springer
15 years 11 months ago
2004
Springer
The choice of mapping strategies to effectively map controller variables to sound synthesis algorithms is examined. Specifically, we look at continuous mappings that have a geom...
153
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
— We show that the current TCP Vegas algorithm can become unstable in the presence of network delay and propose a modification that stabilizes it. The stabilized Vegas remains c...
128
click to vote
CP
2003
Springer
15 years 11 months ago
2003
Springer
How do we identify inconsistent CSPs quickly? This paper presents relaxation as one possible method; showing how we can generate relaxed CSPs which are easier to prove inconsistent...