3828 search results - page 395 / 766 » Proof-Based System Engineering Using a Virtual System Model |
189
click to vote
ISMAR
2006
IEEE
16 years 23 days ago
2006
IEEE
Augmented Reality (AR) aims to fuse a virtual world and a real one in an image stream. When considering only a vision sensor, it relies on registration techniques that have to be ...
191
Voted
VR
2002
IEEE
15 years 11 months ago
2002
IEEE
—Bone dissection is an important component of many surgical procedures. In this paper, we discuss a haptic and visual implementation of a bone cutting burr, that it is being deve...
170
click to vote
WIOPT
2010
IEEE
15 years 5 months ago
2010
IEEE
—The paper presents a methodology that combines statistical learning with constraint optimization by locally optimizing Radio Resource Management (RRM) or system parameters of po...
190
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
This presentation demonstrates the early results from the French ANR project RT-Simex. RT-Simex proposes a set of tools to analyze timing of parallel embedded code and trace the s...
192
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
This research aims to develop a model of trust and reputation that will ensure good interactions amongst software agents in large scale open systems. The following are key drivers...