1893 search results - page 238 / 379 » Computational composites |
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
This workshop provides a forum for an overview, project presentations, and discussion of the research fostered and funded initially by the NSF Next Generation Software (NGS) Progr...
NPAR
2010
ACM
13 years 10 months ago
2010
ACM
The field of non-photorealistic rendering is reaching a mature state. In its infancy, researchers explored the mimicry of methods and tools used by traditional artists to generate...
ICRA
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract— We present successful control strategies for dynamically stable robots that avoid low ceilings and other vertical obstacles in a manner similar to limbo dances. Given t...
PPSC
1997
13 years 11 months ago
1997
We present the preliminary design for a C++ template library to enable the compositional construction of matrix classes suitable for high performance numerical linear algebra comp...
FOSSACS
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...