2715 search results - page 170 / 543 » An Implementation of Narrowing Strategies |
141
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
P-Jigsaw is an extension of W3C's Jigsaw Web-server implementing a cache management strategy for replacement and pre-fetching based on association rules mining from the acces...
182
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Alpaga is a solver for parity games with imperfect information. Given the description of a game, it determines whether the first player can ensure to win and, if so, it constructs...
174
click to vote
VTC
2006
IEEE
16 years 24 days ago
2006
IEEE
Distributed localization in wireless sensor networks has attracted significant interest in recent years. In this paper, we propose two improvements towards the DV-Hop algorithm: th...
136
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper introduces a control strategy based on redundant sensors that leads to parallel robots accuracy enhancement. The method is presented in general, then applied to a 4-dof ...
137
click to vote
JSC
2006
15 years 6 months ago
2006
This paper presents some fundamental aspects of the design and the implementation of an automated prover for Zermelo-Fraenkel set theory within the well-known Theorema system. The...