10916 search results - page 375 / 2184 » On Constructive Connectives and Systems |
207
Voted
SCL
2008
15 years 7 months ago
2008
In this paper it is shown that, if a time-varying uncertain system is robustly completely detectable, then there exists an estimator for this system, i.e. the state vector of the ...
181
click to vote
CDC
2009
IEEE
16 years 13 days ago
2009
IEEE
Abstract— We consider networks of input-to-state dynamically stable (ISDS) systems and provide a small gain condition under which the entire network is again ISDS. A Lyapunov for...
149
Voted
CDC
2009
IEEE
16 years 13 days ago
2009
IEEE
Abstract— Two-level quantum systems are important quantum models that are useful for the conceptual development and construction of quantum technologies. In this paper we provide...
185
Voted
ISDA
2005
IEEE
16 years 1 months ago
2005
IEEE
We consider the construction and management of user profiles for an agent-based travel support system, with the goal of providing personalized content for individual users of the ...
192
Voted
JUCS
2007
15 years 7 months ago
2007
: This paper introduces the notion of pedagogical natural deduction systems, which are natural deduction systems with the following additional constraint: all hypotheses made in a ...