3335 search results - page 556 / 667 » A Unified Approach to Modeling and Programming |
137
Voted
ICRA
1999
IEEE
15 years 9 months ago
1999
IEEE
We consider the problem of automatically generating viewpoint motions for a virtual camera tracking a moving target. Given the target's trajectory, we plan the motion of a ca...
136
click to vote
EUROCOLT
1995
Springer
15 years 8 months ago
1995
Springer
Limiting identification of r.e. indexes for r.e. languages (from a presentation of elements of the language) and limiting identification of programs for computable functions (fr...
147
click to vote
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
— Low energy consumption is a critical issue in embedded systems design. As the technology feature sizes of SoC (Systems on Chip) become smaller and smaller, the percentage of le...
156
click to vote
DAGSTUHL
1998
15 years 6 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
159
click to vote
JCM
2006
15 years 4 months ago
2006
The use of middleware has extended from simply facilitating applications' communication to a broad set of services supporting a huge spectrum of networked and distributed comp...