Sciweavers

2565 search results - page 201 / 513
» Object type constructors
Sort
View
COMBINATORICS
2000
82views more  COMBINATORICS 2000»
13 years 9 months ago
When Structures Are Almost Surely Connected
Let An denote the number of objects of some type of "size" n, and let Cn denote the number of these objects which are connected. It is often the case that there is a rel...
Jason P. Bell
GREC
2009
Springer
13 years 7 months ago
Unified Pairwise Spatial Relations: An Application to Graphical Symbol Retrieval
In this paper, we present a novel unifying concept of pairwise spatial relations. We develop two way directional relations with respect to a unique point set, based on topology of ...
K. C. Santosh, Laurent Wendling, Bart Lamiroy
ICIP
2009
IEEE
13 years 7 months ago
No-reference temporal quality metric for video impaired by frame freezing artefacts
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...
Quan Huynh-Thu, Mohammed Ghanbari
ICFP
2005
ACM
14 years 9 months ago
A computational approach to reflective meta-reasoning about languages with bindings
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...
Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hicke...
ICDE
1999
IEEE
139views Database» more  ICDE 1999»
14 years 10 months ago
Clustering Large Datasets in Arbitrary Metric Spaces
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 ...
Venkatesh Ganti, Raghu Ramakrishnan, Johannes Gehr...