3342 search results - page 635 / 669 » Automating Abstract Interpretation |
AES
2008
Springer
13 years 7 months ago
2008
Springer
This paper presents research that led to the design and implementation of an extensible and scalable software framework for the dynamic 3D visualization of simulated construction ...
KES
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Producing plays, films or animations is a complex and expensive process involving various professionals and media. Our proposed software system, SceneMaker, aims to faci...
MASS
2010
13 years 5 months ago
2010
Abstract--We present a new scheme to reduce the end-toend routing delay in the mission-critical applications of the wireless sensor networks (WSNs) under the duty cycle model. Whil...
AICS
2009
13 years 5 months ago
2009
Abstract. Producing plays, films or animations is a complex and expensive process involving various professionals and media. Our proposed software system, SceneMaker, aims to facil...
GI
2009
Springer
13 years 5 months ago
2009
Springer
: Statistics and estimation theory is enriched with techniques derived from differential geometry. This establishes the increasing topic of information geometry. This allows new in...