12981 search results - page 2248 / 2597 » Model Checking (Abstract) |
115
click to vote
FSTTCS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We explain a double-category (of positions and plays) attached to the theory of HOgames (those with the so-called switching condition [7]) from which the category of aren...
124
click to vote
FUN
2007
Springer
15 years 11 months ago
2007
Springer
The Hydra was a many-headed monster from Greek mythology that would immediately replace a head that was cut off by one or two new heads. It was the ask of Hercules to kill this mon...
152
click to vote
GPCE
2007
Springer
15 years 11 months ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
149
click to vote
HYBRID
2007
Springer
15 years 11 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...
140
click to vote
IBPRIA
2007
Springer
15 years 11 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...