2496 search results - page 147 / 500 » Error-detecting properties of languages |
ICALP
2007
Springer
15 years 7 months ago
2007
Springer
Following the idea developed by I. Simon in his theorem of Ramseyan factorisation forests, we develop a result of ‘deterministic factorisations’. This extra determinism propert...
FDL
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract. The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-e...
106
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
This paper describes an implemented robotic agent architecture in which the environment, as sensed by the agent, is used to guide the recognition of spoken and gestural directives...
98
Voted
SAT
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we define a class of truth-value assignments, called bounded assignments, using a certain substitutional property. We show that every satisfiable Boolean ...
154
Voted
ICTAI
2003
IEEE
15 years 6 months ago
2003
IEEE
One of the very interesting properties of Reinforcement Learning algorithms is that they allow learning without prior knowledge of the environment. However, when the agents use al...