Sciweavers

20 search results - page 4 / 4
» Clarifying Elkan's theoretical result
Sort
View
ENASE
2009
151views Hardware» more  ENASE 2009»
13 years 3 months ago
Coupling Metrics for Aspect-Oriented Programming: A Systematic Review of Maintainability Studies
Over the last few years, a growing number of studies have explored how Aspect-Oriented Programming (AOP) might impact software maintainability. Most of the studies use coupling met...
Rachel Burrows, Alessandro Garcia, François...
ECCV
2004
Springer
14 years 7 months ago
The Least-Squares Error for Structure from Infinitesimal Motion
We analyze the least?squares error for structure from motion with a single infinitesimal motion ("structure from optical flow"). We present asymptotic approximations to ...
John Oliensis
POPL
2010
ACM
14 years 2 months ago
Contracts Made Manifest
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
Benjamin C. Pierce, Michael Greenberg, Stephanie W...
ACSC
2006
IEEE
13 years 11 months ago
Human visual perception of region warping distortions
Interactive virtual reality requires at least 60 frames per second in order to ensure smooth motion. For a good immersive experience, it is also necessary to have low end-to-end l...
Yang-Wai Chow, Ronald Pose, Matthew Regan, James P...
LPAR
2005
Springer
13 years 10 months ago
The Four Sons of Penrose
Abstract. We distill Penrose’s argument against the “artificial intelligence premiss”, and analyze its logical alternatives. We then clarify the different positions one can...
Nachum Dershowitz