Sciweavers

2867 search results - page 343 / 574
» Effectiveness of Index Expressions
Sort
View
IPMI
2007
Springer
16 years 7 months ago
Population-Based Fitting of Medial Shape Models with Correspondence Optimization
A crucial problem in statistical shape analysis is establishing the correspondence of shape features across a population. While many solutions are easy to express using boundary re...
Timothy B. Terriberry, James N. Damon, Stephen M. ...
POPL
2004
ACM
16 years 7 months ago
A logic you can count on
We prove the decidability of the quantifier-free, static fragment of ambient logic, with composition adjunct and iteration, which corresponds to a kind of regular expression langu...
Silvano Dal-Zilio, Denis Lugiez, Charles Meyssonni...
SIGMOD
2008
ACM
134views Database» more  SIGMOD 2008»
16 years 6 months ago
SystemT: a system for declarative information extraction
As applications within and outside the enterprise encounter increasing volumes of unstructured data, there has been renewed interest in the area of information extraction (IE) ? t...
Rajasekar Krishnamurthy, Yunyao Li, Sriram Raghava...
SIGMOD
2005
ACM
93views Database» more  SIGMOD 2005»
16 years 6 months ago
Supporting Executable Mappings in Model Management
Model management is an approach to simplify the programming of metadata-intensive applications. It offers developers powerful operators, such as Compose, Diff, and Merge, that are...
Sergey Melnik, Philip A. Bernstein, Alon Y. Halevy...
PODS
2005
ACM
99views Database» more  PODS 2005»
16 years 6 months ago
XML type checking with macro tree transducers
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
Sebastian Maneth, Alexandru Berlea, Thomas Perst, ...