4451 search results - page 103 / 891 » Continuous model synthesis |
138
click to vote
CIE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We define a general concept of a network of analogue modules connected by channels, processing data from a metric space A, and operating with respect to a global continu...
156
click to vote
TLCA
2005
Springer
15 years 11 months ago
2005
Springer
This paper studies continuity of the normal form and the context operators as functions in the infinitary lambda calculus. We consider the Scott topology on the cpo of the finite...
166
click to vote
UAI
2004
15 years 6 months ago
2004
Although many real-world stochastic planning problems are more naturally formulated by hybrid models with both discrete and continuous variables, current state-of-the-art methods ...
170
click to vote
GIS
2009
ACM
15 years 3 months ago
2009
ACM
Privacy preservation has recently received considerable attention for location-based mobile services. Various location cloaking approaches have been proposed to protect the locati...
154
click to vote
FSEN
2009
Springer
15 years 9 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...