2509 search results - page 335 / 502 » Abstract Geometrical Computation and Computable Analysis |
164
Voted
HYBRID
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
173
Voted
ICPADS
2008
IEEE
16 years 17 days ago
2008
IEEE
Traditional sensor network deployments consisted of fixed infrastructures and were relatively small in size. More and more, we see the deployment of ad-hoc sensor networks with h...
134
click to vote
AAMAS
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. In agent-based computational economics, many different trading strategies have been proposed. Given the kinds of market that such trading strategies are employed in, it i...
142
click to vote
CAIP
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. We propose a framework for fast and automated initialization of segmentation algorithms in Computed Tomography images. Based on the idea that time-consuming voxel classi...
150
click to vote
STACS
2005
Springer
15 years 11 months ago
2005
Springer
We introduce and study Recursive Markov Chains (RMCs), which extend ordinary finite state Markov chains with the ability to invoke other Markov chains in a potentially recursive m...