362 search results - page 19 / 73 » di 2007 |
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
A notion of diagnosability for hybrid systems is defined, which generalizes the notion of observability. We verify bility properties on a timed automaton abstraction of the origina...
IJCAI
2003
13 years 9 months ago
2003
Motivated by the matchmaking problem in electronic marketplaces, we study abduction in Description Logics. We devise suitable definitions of the problem, and show how they can mod...
EUSFLAT
2003
13 years 9 months ago
2003
This paper proposes a method for Bayesian networks that handles uncertainty and discretization of continuous variables when learning the networks from a database of cases. The dat...
ACL
1992
13 years 8 months ago
1992
This paper presents an analysis of purpose clauses in the context of instruction understanding. Such analysis shows that goals affect the interpretation and / or execution of acti...
APPML
2007
13 years 7 months ago
2007
The note is concerned with a time-delayed reaction–diffusion equation with nonlocality for the population dynamics of single species. For the critical speed of traveling waves, ...