1626 search results - page 157 / 326 » Hybrid computing algorithm in representing solid model |
106
Voted
FSTTCS
2008
Springer
15 years 4 months ago
2008
Springer
Regular games provide a very useful model for the synthesis of controllers in reactive systems. The complexity of these games depends on the representation of the winning condition...
131
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...
161
Voted
CONTEXT
2005
Springer
15 years 5 months ago
2005
Springer
Multi-context systems can be used to represent contextual information and inter-contextual information flow. We show that the local model semantics of a multi-context system is co...
182
Voted
COMPGEOM
2010
ACM
15 years 8 months ago
2010
ACM
The Reeb graph of a scalar function represents the evolution of the topology of its level sets. In this video, we describe a near-optimal output-sensitive algorithm for computing ...
163
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...