9110 search results - page 413 / 1822 » Formally-Based Design Evaluation |
139
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
The latest generation of the ERT560 Digital Radio Altimeter (DRA) developed for the Airbus A380 is the result of Thales’ 40 years experience. Over 40,000 radio-altimeters have b...
169
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— By the generalized multi-carrier (GMC) principle a unified framework to describe various multi-carrier as well as single carrier approaches is established. In this paper1 the ...
154
click to vote
VR
2007
IEEE
2007
IEEE
Active Text Drawing Styles for Outdoor Augmented Reality: A User-Based Study and Design Implications
16 years 1 months ago
A challenge in presenting augmenting information in outdoor augmented reality (AR) settings lies in the broad range of uncontrollable environmental conditions that may be present,...
179
click to vote
ICMCS
2006
IEEE
16 years 24 days ago
2006
IEEE
Kernel-based tracking approaches have proven to be more efficient in computation compared to other tracking approaches such as particle filtering. However, existing kernel-based...
182
click to vote
ISPD
2005
ACM
16 years 9 days ago
2005
ACM
In this paper, we present a hierarchical ratio partitioning based placement algorithm for large-scale mixed-size designs. The placement algorithm consists of three steps: global p...