1190 search results - page 64 / 238 » The Continuing Quest for Abstraction |
FORMATS
2010
Springer
13 years 7 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
JUCS
2008
13 years 9 months ago
2008
: In the representation approach to computable analysis (TTE) [Grz55, i00], abstract data like rational numbers, real numbers, compact sets or continuous real functions are represe...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— Symbolic models are abstract descriptions of continuous systems in which symbols represent aggregates of continuous states. In the last few years there has been a growi...
ICDM
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--S4 is a general-purpose, distributed, scalable, partially fault-tolerant, pluggable platform that allows programmers to easily develop applications for processing continu...
MICCAI
2004
Springer
14 years 10 months ago
2004
Springer
Abstract. We propose a new method to generate unfolded area preserving representations of the cerebral cortex. The cortical surface is evolved with an application-specific normal m...