2062 search results - page 329 / 413 » Hardware Objects for Java |
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
We present a flexible method for fusing information from optical and range sensors based on an accelerated highdimensional filtering approach. Our system takes as input a sequen...
FLOPS
2010
Springer
14 years 2 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
KBSE
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Decisions regarding the mapping of software components to hardware nodes affect the quality of the resulting system. Making these decisions is hard when considering the ...
CSCWD
2009
Springer
14 years 2 months ago
2009
Springer
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
ISCAS
2007
IEEE
14 years 2 months ago
2007
IEEE
Complex designs can only be understood, if the underlying information is provided in a concise way. In this context visualization is becoming an essential part of system design, u...