Sciweavers

191 search results - page 20 / 39
» Mappings Between Domain Models in Answer Set Programming
Sort
View
113
Voted
CORR
2010
Springer
144views Education» more  CORR 2010»
14 years 9 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
109
Voted
CIKM
2010
Springer
14 years 7 months ago
Automatic schema merging using mapping constraints among incomplete sources
Schema merging is the process of consolidating multiple schemas into a unified view. The task becomes particularly challenging when the schemas are highly heterogeneous and autono...
Xiang Li 0002, Christoph Quix, David Kensche, Sand...
ICCV
2005
IEEE
15 years 3 months ago
Mutual Information-Based 3D Surface Matching with Applications to Face Recognition and Brain Mapping
Face recognition and many medical imaging applications require the computation of dense correspondence vector fields that match one surface with another. In brain imaging, surfac...
Yalin Wang, Ming-Chang Chiang, Paul M. Thompson
106
Voted
ICSE
2010
IEEE-ACM
14 years 11 months ago
Supporting developers with natural language queries
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
Michael Würsch, Giacomo Ghezzi, Gerald Reif, ...
AH
2008
Springer
15 years 4 months ago
Assisting in Reuse of Adaptive Hypermedia Creator's Models
The design of Adaptive Hypermedia is a difficult task which can be made easier if generic systems and AH creators’ models are reused. We address this design problem in the settin...
Nadjet Zemirline, Yolaine Bourda, Chantal Reynaud,...