Sciweavers

713 search results - page 114 / 143
» Using information about functions in selecting test cases
Sort
View
ESA
2003
Springer
116views Algorithms» more  ESA 2003»
15 years 5 months ago
Smoothed Motion Complexity
We propose a new complexity measure for movement of objects, the smoothed motion complexity. Many applications are based on algorithms dealing with moving objects, but usually data...
Valentina Damerow, Friedhelm Meyer auf der Heide, ...
FC
2009
Springer
118views Cryptology» more  FC 2009»
15 years 6 months ago
Cryptographic Combinatorial Clock-Proxy Auctions
We present a cryptographic protocol for conducting efficient, provably correct and secrecy-preserving combinatorial clock-proxy auctions. The “clock phase” functions as a trust...
David C. Parkes, Michael O. Rabin, Christopher Tho...
ICCV
2001
IEEE
16 years 1 months ago
Incorporating Differential Constraints in a 3D Reconstruction Process. Application to Stereo
We propose to incorporate a priori geometric constraints in a 3?D stereo reconstruction scheme to cope with the many cases where image information alone is not sufficient to accur...
Richard Lengagne, Pascal Fua
PPOPP
2012
ACM
13 years 7 months ago
Internally deterministic parallel algorithms can be fast
The virtues of deterministic parallelism have been argued for decades and many forms of deterministic parallelism have been described and analyzed. Here we are concerned with one ...
Guy E. Blelloch, Jeremy T. Fineman, Phillip B. Gib...
ICSE
2008
IEEE-ACM
16 years 17 days ago
Answering conceptual queries with Ferret
Programmers seek to answer questions as they investigate the functioning of a software system, such as "which execution path is being taken in this case?" Programmers at...
Brian de Alwis, Gail C. Murphy