Sciweavers

5622 search results - page 628 / 1125
» Solving architectural modelling problems using knowledge
Sort
View
REST
2010
ACM
15 years 12 months ago
A RESTful messaging system for asynchronous distributed processing
Traditionally, distributed computing problems have been solved by partitioning data into chunks able to be handled by commodity hardware. Such partitioning is not possible in case...
Ian Jacobi, Alexey Radul
AIPS
2000
15 years 9 months ago
Exploiting State Constraints in Heuristic State-Space Planning
In the last years, some very promising domain independent heuristic state-space planners for STRIPS worlds, like ASP/HSP, HSPr and GRT, have been presented. These planners achieve...
Ioannis Refanidis, Ioannis P. Vlahavas
SIGMOD
2011
ACM
152views Database» more  SIGMOD 2011»
14 years 10 months ago
Tracing data errors with view-conditioned causality
A surprising query result is often an indication of errors in the query or the underlying data. Recent work suggests using causal reasoning to find explanations for the surprisin...
Alexandra Meliou, Wolfgang Gatterbauer, Suman Nath...
CORR
2010
Springer
79views Education» more  CORR 2010»
15 years 7 months ago
Quantitative Games on Probabilistic Timed Automata
Abstract. Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the cont...
Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Triv...
ICCV
2011
IEEE
14 years 7 months ago
A 3D Laplacian-Driven Parametric Deformable Model
3D parametric deformable models have been used to extract volumetric object boundaries and they generate smooth boundary surfaces as results. However, in some segmentation cases, ...
Tian Shen, Xiaolei Huang, Hongsheng Li, Edward Kim...