Sciweavers

6047 search results - page 686 / 1210
» Modeling with Extend
Sort
View
ICDE
2012
IEEE
196views Database» more  ICDE 2012»
13 years 9 months ago
Scalable Multi-query Optimization for SPARQL
Abstract—This paper revisits the classical problem of multiquery optimization in the context of RDF/SPARQL. We show that the techniques developed for relational and semi-structur...
Wangchao Le, Anastasios Kementsietsidis, Songyun D...
MICCAI
2005
Springer
16 years 8 months ago
3D Curve Inference for Diffusion MRI Regularization
Abstract. We develop a differential geometric framework for regularizing diffusion MRI data. The key idea is to model white matter fibers as 3D space curves and to then extend Pare...
Peter Savadjiev, Jennifer S. W. Campbell, G. Bruce...
ASM
2010
ASM
16 years 2 months ago
Alloy+HotCore: A Fast Approximation to Unsat Core
Identifying a minimal unsatisfiable core in an Alloy model proved to be a very useful feature in many scenarios. We extend this concept to hot core, an approximation to unsat core...
Nicolás D'Ippolito, Marcelo F. Frias, Juan ...
FSEN
2007
Springer
16 years 1 months ago
Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
Mahdi Niamanesh, Rasool Jalili
SIGIR
2005
ACM
16 years 21 days ago
Publish/subscribe functionality in IR environments using structured overlay networks
We study the problem of offering publish/subscribe functionality on top of structured overlay networks using data models and languages from IR. We show how to achieve this by ext...
Christos Tryfonopoulos, Stratos Idreos, Manolis Ko...