17054 search results - page 268 / 3411 » Logics of Dynamical Systems |
235
click to vote
AIIA
2005
Springer
16 years 24 days ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...
166
click to vote
AAAI
1990
15 years 8 months ago
1990
To design a task-independent dialogue system, we present a task-oriented dialogue analysis in terms of finding the referents of definite descriptions and we show how this analysis...
193
click to vote
ICCD
2006
IEEE
16 years 4 months ago
2006
IEEE
This paper presents a new scheduling technique to improve the speed, power, and scalability of a dynamic scheduler. In a high-performance superscalar processor, the instruction sc...
208
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
180
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: A mathematical model to understand, predict, control, or even design a real biological system is a central theme in systems biology. A dynamic biological system is alw...