2527 search results - page 355 / 506 » A UML-Based Approach to System Testing |
168
click to vote
ICIP
2009
IEEE
16 years 7 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...
212
click to vote
IRI
2008
IEEE
16 years 26 days 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...
183
click to vote
TASE
2007
IEEE
16 years 22 days 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...
164
click to vote
IROS
2006
IEEE
16 years 14 days 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...
163
click to vote
ML
2006
ACM
16 years 12 days 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 ...