Sciweavers

2565 search results - page 166 / 513
» Object type constructors
Sort
View
SIGSOFT
2009
ACM
14 years 4 months ago
MSeqGen: object-oriented unit-test generation via mining source code
An objective of unit testing is to achieve high structural coverage of the code under test. Achieving high structural coverage of object-oriented code requires desirable method-ca...
Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, J...
ICMCS
2000
IEEE
99views Multimedia» more  ICMCS 2000»
14 years 1 months ago
Hardware/Software Co-design for Real-Time Physical Modeling
Physical modeling of a mass-spring system allows for realistic object motion and deformation in a virtual environment. Previous work in this type of physical modeling relies on ge...
Benjamin Bishop, Thomas P. Kelliher, Mary Jane Irw...
RT
2000
Springer
14 years 22 days ago
Measuring Visual Shape using Computer Graphics Psychophysics
This paper reviews recent psychophysical methods that have been developed for measuring the perceived shape of objects. We discuss two types of shape ambiguities that exist for man...
Michael S. Langer, Heinrich H. Bülthoff
DAGSTUHL
2001
13 years 10 months ago
Constructive Foundations for Featherweight Java
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...
Thomas Studer
ECCV
1994
Springer
14 years 11 months ago
Independent motion segmentation and collision prediction for road vehicles
This paper presents a method for doing motion segmentation for autonomous vehicles which drive on planar surfaces. There are two distinct types of independent motion that may occu...
David Sinclair, Boubakeur Boufama