2596 search results - page 50 / 520 » Gradual Typing for Objects |
110
click to vote
ICTAI
2010
IEEE
14 years 9 months ago
2010
IEEE
This work presents the concept of Continuous Search (CS), which objective is to allow any user to eventually get their constraint solver achieving a top performance on their proble...
142
click to vote
GREC
2009
Springer
14 years 9 months ago
2009
Springer
In this paper we present a method to robustly detect circular arcs in a line drawing image. The method is fast, robust and very reliable, and is capable of assessing the quality of...
189
Voted
TOG
2012
13 years 1 months ago
2012
Global parametrization of surfaces requires singularities (cones) to keep distortion minimal. We describe a method for finding cone locations and angles and an algorithm for glob...
QNS
1996
15 years 13 days ago
1996
This paper suggests a systematic, orderly, process-based approach to stating software quality objectives and knowing if and when they have been achieved. We suggest that quality i...
DC
2010
14 years 11 months ago
2010
We introduce a simple liveness property for shared object implementations that is gracefully degrading depending on the degree of synchrony in each run. This property, called adapt...