1626 search results - page 36 / 326 » Hybrid computing algorithm in representing solid model |
153
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
This paper presents a data-centric modeling and predictive control approach for nonlinear hybrid systems. System identification of hybrid systems represents a challenging problem b...
JLP
2006
15 years 2 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
88
Voted
EUROGRAPHICS
2010
Eurographics
15 years 11 months ago
2010
Eurographics
Papercraft models can serve as inexpensive prototypes in shape design applications. However, in making the models some geometric detail is necessarily lost, and artificial crease...
122
click to vote
SMA
2008
ACM
15 years 2 months ago
2008
ACM
This paper analyses the probability that randomly deployed sensor nodes triangulate any point within the target area. Its major result is the probability of triangulation for any p...
118
click to vote
DAC
2000
ACM
16 years 3 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...