4451 search results - page 744 / 891 » Continuous model synthesis |
168
Voted
HYBRID
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. We consider the dynamic feedback problem in a class of hybrid systems modeled as (infinite) state deterministic transition systems, in which the continuous variables are...
153
Voted
IBPRIA
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. This paper extends and generalizes the Bayesian semisupervised segmentation algorithm [1] for oil spill detection using SAR images. In the base algorithm on which we buil...
165
click to vote
ICCS
2007
Springer
15 years 12 months ago
2007
Springer
A recent trend in modern high performance computing (HPC) system architectures employs “lean” compute nodes running a lightweight operating system (OS). Certain parts of the OS...
161
click to vote
ICLP
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
181
click to vote
IEAAIE
2007
Springer
15 years 12 months ago
2007
Springer
Mobile devices are treasure boxes of personal information containing user’s context, personal schedule, diary, short messages, photos, and videos. Also, user’s usage informatio...