Sciweavers

490 search results - page 71 / 98
» Equivalent Keys of HPC
Sort
View
26
Voted
CORR
2010
Springer
130views Education» more  CORR 2010»
13 years 8 months ago
Dichotomy for tree-structured trigraph list homomorphism problems
Trigraph list homomorphism problems (also known as list matrix partition problems) have generated recent interest, partly because there are concrete problems that are not known to...
Tomás Feder, Pavol Hell, David G. Schell, J...
CVIU
2010
138views more  CVIU 2010»
13 years 8 months ago
Probabilistic structure matching for visual SLAM with a multi-camera rig
We propose to use a multi-camera rig for simultaneous localization and mapping (SLAM), providing flexibility in sensor placement on mobile robot platforms while exploiting the str...
Michael Kaess, Frank Dellaert
ENTCS
2008
106views more  ENTCS 2008»
13 years 8 months ago
Reduction Semantics and Formal Analysis of Orc Programs
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
Musab AlTurki, José Meseguer
EOR
2008
97views more  EOR 2008»
13 years 8 months ago
Optimization models for the single delay management problem in public transportation
Passengers travelling in public transportation networks often have to use different lines to cover the trip from their origin to the desired destination. As a consequence, the rel...
Géraldine Heilporn, Luigi De Giovanni, Mart...
ECEASST
2006
154views more  ECEASST 2006»
13 years 8 months ago
EMF Model Refactoring based on Graph Transformation Concepts
Abstract. The Eclipse Modeling Framework (EMF) provides a modeling and code generation framework for Eclipse applications based on structured data models. Within model driven softw...
Enrico Biermann, Karsten Ehrig, Christian Köh...