1776 search results - page 355 / 356 » A Visual Modeling Environment for Embedded Component Systems |
VRML
1999
ACM
13 years 9 months ago
1999
ACM
VRML is a file format for the description of dynamic scene graphs containing 3D objects with their visual appearance, multimedia content, an event model, and scripting capabilitie...
ATAL
2009
Springer
13 years 11 months ago
2009
Springer
There is currently an ongoing demand for richer Intelligent Virtual Environments (IVEs) populated with social intelligent agents. As a result, many agent architectures are taking ...
IROS
2006
IEEE
13 years 11 months ago
2006
IEEE
— There is much to gain from providing walking machines with passive dynamics, e.g. by including compliant elements in the structure. These elements can offer interesting propert...
ASE
2002
13 years 5 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
TIP
1998
13 years 4 months ago
1998
—We propose novel discrete cosine transform (DCT) pseudophase techniques to estimate shift/delay between two onedimensional (1-D) signals directly from their DCT coefficients by...