6014 search results - page 733 / 1203 » Structural Testing with Use Cases |
228
click to vote
ISMAR
2003
IEEE
16 years 10 days ago
2003
IEEE
In the past, architectures of Augmented Reality systems have been widely different and taylored to specific tasks. In this paper, we use the example of the SHEEP game to show how...
199
click to vote
ECCV
2006
Springer
15 years 10 months ago
2006
Springer
A scene containing multiple independently moving, possibly occluding, rigid objects is considered under the weak perspective camera model. We obtain a set of feature points tracke...
212
click to vote
AICCSA
2001
IEEE
15 years 10 months ago
2001
IEEE
- This paper presents an environment for development of distributed applications. It consists basically of adding to language Java a library of methods to manipulate shared objects...
204
click to vote
APN
2006
Springer
15 years 9 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
197
click to vote
ECCB
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. Mass spectrometry is among the most widely used technologies in proteomics and metabolomics. For metabolites, de novo interpretation of spectra is even more important tha...