625 search results - page 58 / 125 » Computationally efficient methods for digital control |
109
Voted
GRAPHICSINTERFACE
2009
15 years 1 months ago
2009
Johannes Kepler first attributed the visibility of lunar eclipses to refraction in the Earth's atmosphere in his Astronomiae Pars Optica in 1604. We describe a method for ren...
118
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
142
click to vote
WWW
2006
ACM
16 years 4 months ago
2006
ACM
A search engine that can handle TV programs and Web content in an integrated way is proposed. Conventional search engines have been able to handle Web content and/or data stored i...
173
click to vote
DAGSTUHL
2010
15 years 4 months ago
2010
We apply Knoll et al.'s algorithm [9] to interactively ray-cast constructive solid geometry (CSG) objects of arbitrary primitives represented as implicit functions. Whereas m...
140
click to vote
FORMATS
2009
Springer
15 years 7 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...