7694 search results - page 1274 / 1539 » An Implementation of an Applicative File System |
158
click to vote
ASAP
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we extend the domain of applicability of the E-method [7, 8], as a hardware-oriented method for evaluating elementary functions using polynomial and rational functio...
135
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different applicati...
150
click to vote
DSN
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper describes an experiment performed on Wide Area Network to assess and fairly compare the Quality of Service provided by a large family of failure detectors. Failure dete...
136
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Constraint satisfaction problems (CSPs) are ubiquitous in many real-world contexts. However, modeling a problem as a CSP can be very challenging, usually requiring considerable ex...
125
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we describe the Automatic Task Demonstration Generator (ATDG), a system implemented into a software prototype for teaching the operation of a robot manipulator deplo...