1941 search results - page 158 / 389 » Reasoning about Computations Using Two-Levels of Logic |
123
Voted
ILP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Reasoning plays a central role in intelligent systems that operate in complex situations that involve time constraints. In this paper, we present the Adaptive Logic Inter...
134
click to vote
AAAI
1996
15 years 4 months ago
1996
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...
115
Voted
IEICET
2006
15 years 3 months ago
2006
Abstract--We propose several heuristic algorithms that reconfigure logical topologies in wide-area wavelength-routed optical networks. Our reconfiguration algorithms attempt to kee...
155
Voted
IWPSE
2003
IEEE
15 years 8 months ago
2003
IEEE
The dependencies and interrelations between classes and modules affect the maintainability of object-oriented systems. It is therefore important to capture weaknesses of the softw...
168
Voted
KI
1998
Springer
15 years 7 months ago
1998
Springer
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...