Sciweavers

472 search results - page 23 / 95
» Modelling Producer Consumer Constraints
Sort
View
AI
1998
Springer
14 years 9 months ago
Reasoning About Actions: Steady Versus Stabilizing State Constraints
In formal approaches to commonsense reasoning about actions. the Ramification Problem denotes the problem of handling indirect effects which implicitly derive from so-called state...
Michael Thielscher
PVLDB
2010
128views more  PVLDB 2010»
14 years 8 months ago
Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System: PRISM++
Supporting legacy applications when the database schema evolves represents a long-standing challenge of practical and theoretical importance. Recent work has produced algorithms a...
Carlo Curino, Hyun Jin Moon, Alin Deutsch, Carlo Z...
75
Voted
CSSW
2007
14 years 11 months ago
Weaving Space into the Web of Trust: An Asymmetric Spatial Trust Model for Social Networks
The proliferation of Geo-Information (GI) production in web-based collaboration environments such as mapping mashups built on top of mapping APIs such as GoogleMaps API poses new c...
Mohamed Bishr
MIRAGE
2009
Springer
15 years 4 months ago
Tracking Human Motion with Multiple Cameras Using an Articulated Model
This paper presents a markerless motion capture pipeline based on volumetric reconstruction, skeletonization and articulated ICP with hard constraints. The skeletonization produces...
Davide Moschini, Andrea Fusiello
GRAPHICSINTERFACE
2007
14 years 11 months ago
A GPU based interactive modeling approach to designing fine level features
In this paper we propose a GPU based interactive geometric modeling approach to designing fine level features on subdivision surfaces. Displacement mapping is a technique for addi...
Xin Huang, Sheng Li, Guoping Wang