Sciweavers

5671 search results - page 666 / 1135
» A Semantic Approach to Interpolation
Sort
View
CIDR
2011
224views Algorithms» more  CIDR 2011»
14 years 10 months ago
Transactional Intent
Data state in a data management system such as a database is the result of the transactions performed on that data management system. Approaches such as single-message transaction...
Shel Finkelstein, Thomas Heinzel, Rainer Brendle, ...
PLDI
2011
ACM
14 years 10 months ago
Evaluating value-graph translation validation for LLVM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
Jean-Baptiste Tristan, Paul Govereau, Greg Morrise...
ICMCS
2006
IEEE
124views Multimedia» more  ICMCS 2006»
16 years 1 months ago
Exploring Automatic Query Refinement for Text-Based Video Retrieval
Text-based search using video speech transcripts is a popular approach for granular video retrieval at the shot or story level. However, misalignment of speech and visual tracks, ...
Timo Volkmer, Apostol Natsev
VISUAL
2005
Springer
16 years 17 days ago
Wayfinding Choreme Maps
This contribution details how conceptual characterizations of route knowledge can provide the basis for graphical route information in a cognitively adequate way. The approach is b...
Alexander Klippel, Kai-Florian Richter, Stefan Han...
GIS
2008
ACM
16 years 8 months ago
Geospatial information integration based on the conceptualization of geographic domain
Geospatial information integration is not a trivial task. An integrated view must be able to describe various heterogeneous data sources and its interrelation to obtain shared con...
Miguel Torres, Serguei Levachkine, Rolando Quinter...