5159 search results - page 637 / 1032 » Structural Testing of Executables |
184
click to vote
DILS
2006
Springer
15 years 11 months ago
2006
Springer
Similarity-based grouping of data entries in one or more data sources is a task underlying many different data management tasks, such as, structuring search results, removal of red...
217
click to vote
ECCV
2006
Springer
15 years 11 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...
227
click to vote
AICCSA
2001
IEEE
15 years 11 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...
219
Voted
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...
214
click to vote
CHI
2005
ACM
15 years 9 months ago
2005
ACM
In this user study, we address several open issues in the design of waiting cues for system response time (SRT) in interactive telephony speech applications. User observations and...