3053 search results - page 269 / 611 » Hybrid Systems Diagnosis |
175
click to vote
LPNMR
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We present a new answer set solver nomore++. Distinguishing features include its treatment of heads and bodies equitably as computational objects and a new hybrid lookahe...
166
click to vote
HYBRID
1999
Springer
15 years 11 months ago
1999
Springer
— In this paper we prove that a switched nonlinear system has several useful ISS-type properties under average dwell-time switching signals if each constituent dynamical system i...
174
click to vote
CC
2006
Springer
15 years 10 months ago
2006
Springer
We introduce a new class of compiler heuristics: hybrid optimizations. Hybrid optimizations choose dynamically at compile time which optimization algorithm to apply from a set of d...
193
click to vote
BCSHCI
2009
15 years 7 months ago
2009
Hybrid surfaces are interactive systems combining techniques of direct-manipulation multi-touch surface interaction with elements of tangible user interfaces (TUIs). The design sp...
190
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present a numerical approximation technique for the analysis of continuous-time Markov chains that describe networks of biochemical reactions and play an important role in the ...