8828 search results - page 1758 / 1766 » Formal methods in practice |
267
click to vote
MVA
2011
14 years 10 months ago
2011
: In this paper we discuss theoretical foundations and a practical realization of a real-time traffic sign detection, tracking and recognition system operating on board of a vehicl...
156
click to vote
TVCG
2011
14 years 10 months ago
2011
—This paper describes a complete system to create anatomically accurate example-based volume deformation and animation of articulated body regions, starting from multiple in vivo...
154
Voted
WWW
2011
ACM
14 years 10 months ago
2011
ACM
Bucket testing, also known as A/B testing, is a practice that is widely used by on-line sites with large audiences: in a simple version of the methodology, one evaluates a new fea...
203
click to vote
JUCS
2010
14 years 10 months ago
2010
: All processes of life are controlled by networks of interacting biochemical components. The purpose of modelling these networks is manifold. From a theoretical point of view it a...
140
Voted
PROMISE
2010
14 years 10 months ago
2010
Background: The relation between software effort and size has been modeled in literature as exponential, in the sense that the natural logarithm of effort is expressed as a linear...