Sciweavers

2624 search results - page 146 / 525
» The 2LIP model and its implementations
Sort
View
LPAR
2010
Springer
15 years 4 months ago
Qex: Symbolic SQL Query Explorer
We describe a technique and a tool called Qex for generating input tables and parameter values for a given parameterized SQL query. The evaluation semantics of an SQL query is tra...
Margus Veanes, Nikolai Tillmann, Jonathan de Halle...
ICAI
2009
15 years 4 months ago
BayesOWL: A Prototype System for Uncertainty in Semantic Web
: Previously we have proposed a theoretical framework, called BayesOWL, to model uncertainty in semantic web ontologies based on Bayesian networks. In particular, we have developed...
Shenyong Zhang, Yi Sun, Yun Peng, Xiaopu Wang
ICIP
2010
IEEE
15 years 3 months ago
Polyconvexification of the multi-label optical flow problem
In this paper the problem of optical flow and occlusion mask estimation is aborded. To that end, we consider a multi-label representation of the optical flow and we define an ener...
Nicolas Papadakis, Antonio Baeza, Pau Gargallo, Vi...
SPRINGSIM
2010
15 years 4 months ago
GTNA: a framework for the graph-theoretic network analysis
Concise and reliable graph-theoretic analysis of complex networks today is a cumbersome task, consisting essentially of the adaptation of intricate libraries for each specific pr...
Benjamin Schiller, Dirk Bradler, Immanuel Schweize...
EUSAI
2007
Springer
15 years 8 months ago
A Compiler for the Smart Space
Developing applications for smart spaces is a challenging task. Most programming systems narrowly focus on the embedded computer infrastructure and neglect the spatial aspect of th...
Urs Bischoff, Gerd Kortuem