Sciweavers

3381 search results - page 129 / 677
» Extending Dependencies with Conditions
Sort
View
AAAI
1992
15 years 7 months ago
On the Complexity of Domain-Independent Planning
In this paper, we examine how the complexity of domain-independent planning with strips-style operators depends on the nature of the planning operators. We show how the time compl...
Kutluhan Erol, Dana S. Nau, V. S. Subrahmanian
AUTOMATICA
2007
73views more  AUTOMATICA 2007»
15 years 6 months ago
Output feedback controller synthesis for descriptor systems satisfying closed-loop dissipativity
This paper is concerned with synthesis of output feedback controllers for descriptor systems to attain dissipativity of the closed-loop system. A necessary and sufficient conditio...
Izumi Masubuchi
DPHOTO
2009
116views Hardware» more  DPHOTO 2009»
15 years 4 months ago
Interleaved imaging: an imaging system design inspired by rod-cone vision
Under low illumination conditions, such as moonlight, there simply are not enough photons present to create a high quality color image with integration times that avoid camera-sha...
Manu Parmar, Brian A. Wandell
CTRS
1992
15 years 10 months ago
Path Orderings for Termination of Associative-Commutative Rewriting
We show that a simple, and easily implementable, restriction on the recursive path ordering, which we call the "binary path condition," sufficesfor establishing terminat...
Nachum Dershowitz, Subrata Mitra
CORR
2000
Springer
93views Education» more  CORR 2000»
15 years 6 months ago
Lattice Structure and Convergence of a Game of Cards
We study the dynamics of the so-called Game of Cards by using tools developed in the context of discrete dynamical systems. We extend a result of [4] and [10] (the last one in the ...
Eric Goles Ch., Michel Morvan, Ha Duong Phan