1222 search results - page 96 / 245 » Some Results on Directable Automata |
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
Agent-based on-line negotiation technology has the potential to radically change the way e-business is conducted. In this paper, we present a formal model for autonomous agents to...
SAT
2009
Springer
15 years 2 months ago
2009
Springer
Execution of most of the modern DPLL-based SAT solvers is guided by a number of heuristics. Decisions made during the search process are usually driven by some fixed heuristic pol...
EUROMICRO
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper proposes and evaluates error detection and recovery mechanisms suitable for embedded systems. The purpose of these mechanisms is to provide detection of and recovery fr...
ACSAC
1998
IEEE
15 years 2 months ago
1998
IEEE
The Intrusion Detection System architectures commonly used in commercial and research systems have a number of problems that limit their configurability, scalability or efficiency...
ICRA
1998
IEEE
15 years 2 months ago
1998
IEEE
A new method of handling the kinematic singularities of serial robotic manipulators is proposed. The idea is to transform the manipulator's workspace W into a desingularized ...