1585 search results - page 293 / 317 » A framework for computer-aided validation |
166
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We describe a prototype emergency and disaster information system designed and implemented using DDDAS concepts. The system is designed to use real-time cell phone callin...
188
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
We present a Dynamic Data Driven Application System (DDDAS) to track 2D shapes across large pose variations by learning non-linear shape manifold as overlapping, piecewise linear s...
137
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
190
click to vote
ISMAR
2006
IEEE
15 years 11 months ago
2006
IEEE
One of the key requirements of augmented reality systems is a robust real-time camera pose estimation. In this paper we present a robust approach, which does neither depend on ofï...
155
click to vote
CASES
2006
ACM
15 years 11 months ago
2006
ACM
Technology trends have led to the advent of multi-core chips in the form of both general-purpose chip multiprocessors (CMPs) and embedded multi-processor systems-on-a-chip (MPSoCs...