2715 search results - page 170 / 543 » An Implementation of Narrowing Strategies |
130
click to vote
WWW
2001
ACM
16 years 6 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...
163
click to vote
TACAS
2009
Springer
16 years 29 days 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...
163
click to vote
VTC
2006
IEEE
16 years 5 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...
122
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 ...
122
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...