3799 search results - page 664 / 760 » An Engineering Approach to Formal Methods |
140
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
We propose a formal experimental paradigm designed to help evaluate scrolling interaction techniques. Such a method is needed by interaction designers to quantify scrolling perfor...
169
click to vote
PPOPP
2003
ACM
15 years 11 months ago
2003
ACM
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in ove...
167
click to vote
ACMICEC
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we studied the semantic consistency maintenance issue between heterogeneous contexts, that is, how a firm business process of one e-marketplace can be transformed t...
145
click to vote
AAAI
2006
15 years 7 months ago
2006
Model counting is the classical problem of computing the number of solutions of a given propositional formula. It vastly generalizes the NP-complete problem of propositional satis...
173
click to vote
NIPS
2004
15 years 7 months ago
2004
We present a generative model and stochastic filtering algorithm for simultaneous tracking of 3D position and orientation, non-rigid motion, object texture, and background texture...