1496 search results - page 186 / 300 » Definability of Initial Segments |
146
click to vote
FOSSACS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We introduce a denotational semantics for non-linear hybrid automata, and relate it to the operational semantics given in terms of hybrid trajectories. The semantics is d...
204
click to vote
HYBRID
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We define a new class of hybrid automata for which reachability is decidable--a proper superclass of the initialized rectangular hybrid automata--by taking parallel compo...
140
click to vote
ICALP
2000
Springer
15 years 9 months ago
2000
Springer
Today many formalisms exist for specifying complex Markov chains. In contrast, formalism for specifying the quantitative properties to analyze have remained quite primitive. In th...
128
click to vote
AAAI
2008
15 years 8 months ago
2008
Modern feature-rich telecommunications services offer significant opportunities to human users. To make these services more usable, facilitating personalisation is very important....
155
click to vote
DLOG
2008
15 years 8 months ago
2008
Least Common Subsumers in Description Logics have shown their usefulness for discovering commonalities among all concepts of a collection. Several applications are nevertheless foc...