2527 search results - page 355 / 506 » A UML-Based Approach to System Testing |
133
click to vote
ICIP
2009
IEEE
16 years 4 months ago
2009
IEEE
In this paper we present an efficient high resolution Image Based Visual Hull (IBVH) algorithm that entirely runs in real-time on a single consumer graphics card. The target appli...
161
Voted
IRI
2008
IEEE
15 years 10 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
146
click to vote
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
128
Voted
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
— This paper presents an approach to vision-based simultaneous localization and mapping (SLAM). Our approach uses the scale invariant feature transform (SIFT) as features and app...
129
Voted
ML
2006
ACM
15 years 9 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...