2128 search results - page 183 / 426 » A general characterization of indulgence |
177
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Preference logics and AI preference representation languages are both concerned with reasoning about preferences on combinatorial domains, yet so far these two streams of research...
130
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Instantaneous charge/flux transfers may occur in switched electrical circuits when the switch configuration changes. Characterization of such state discontinuities is a class...
147
click to vote
ISAAC
2001
Springer
15 years 11 months ago
2001
Springer
A discrete pushdown timed automaton is a pushdown machine with integer-valued clocks. It has been shown recently that the binary reachability of a discrete pushdown timed automaton...
176
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
Much work has been done on extending the well-founded semantics to general disjunctive logic programs and various approaches have been proposed. However, no consensus has been reac...
147
click to vote
RTCSA
2000
IEEE
15 years 11 months ago
2000
IEEE
Large-scale distributed real-time systems are increasingly difficult to analyze within the Rate Monotonic Analysis framework. This is due partly to their heterogeneity, complex i...