2596 search results - page 203 / 520 » Gradual Typing for Objects |
139
Voted
ICIP
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper describes a no-reference temporal quality metric to model the impact of frame freezing impairments on perceived video quality. The proposed metric shows a high correlat...
152
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
208
click to vote
ICDE
1999
IEEE
16 years 5 months ago
1999
IEEE
Clustering partitions a collection of objects into groups called clusters, such that similar objects fall into the same group. Similarity between objects is defined by a distance ...
130
click to vote
ICML
2008
IEEE
16 years 5 months ago
2008
IEEE
The success of kernel methods including support vector machines (SVMs) strongly depends on the design of appropriate kernels. While initially kernels were designed in order to han...
129
click to vote
ICIRA
2009
Springer
15 years 10 months ago
2009
Springer
We present a novel approach to mobile object manipulation for service in indoor environments. Current research in service robotics focus on single robots able to move, manipulate o...