Sciweavers

1390 search results - page 130 / 278
» On the Algebraic Structure of Convergence
Sort
View
APAL
2002
73views more  APAL 2002»
15 years 6 months ago
The sequentially realizable functionals
We consider a notion of sequential functional of finite type, more generous than the familiar notion embodied in Plotkin's language PCF. We study both the "full" an...
John Longley
ICPR
2008
IEEE
16 years 7 months ago
Accelerating active contour algorithms with the Gradient Diffusion Field
Active contours were proposed by Kass et al. as a way to represent the contours of an image. Although the method is simple, one of its shortcomings is its inability to converge in...
Willie Kiser, Pradeep Sen, Chris Musial
DATASCIENCE
2002
71views more  DATASCIENCE 2002»
15 years 6 months ago
An integrated web resource for crystallography
A recurring theme during the CODATA 2000 conference (Lake Maggiore, Italy, 15 - 19 October 2000) was the increasing convergence in data-rich branches of science between the storag...
Brian McMahon
FOIS
2006
15 years 7 months ago
Formalizing Ontology Alignment and its Operations with Category Theory
An ontology alignment is the expression of relations between different ontologies. In order to view alignments independently from the language expressing ontologies and from the te...
Antoine Zimmermann, Markus Krötzsch, Jé...
PVLDB
2011
14 years 9 months ago
Merging What's Cracked, Cracking What's Merged: Adaptive Indexing in Main-Memory Column-Stores
Adaptive indexing is characterized by the partial creation and refinement of the index as side effects of query execution. Dynamic or shifting workloads may benefit from prelimi...
Stratos Idreos, Stefan Manegold, Harumi A. Kuno, G...