Sciweavers

315 search results - page 21 / 63
» Parametric real-time reasoning
Sort
View
ECCV
2010
Springer
13 years 7 months ago
Non-local Characterization of Scenery Images: Statistics, 3D Reasoning, and a Generative Model
Abstract. This work focuses on characterizing scenery images. We semantically divide the objects in natural landscape scenes into background and foreground and show that the shapes...
Tamar Avraham, Michael Lindenbaum
VW
2009
Springer
130views Virtual Reality» more  VW 2009»
14 years 2 months ago
Towards a Definition of Virtual Objects Using Partial Differential Equations
—We propose an efficient alternative to commonly used parametric surfaces such as NURBS surfaces for definition of complex geometry in shared virtual spaces. Our mathematical mod...
Hassan Ugail, Gabriela González Castro, Ale...
LICS
2007
IEEE
14 years 4 months ago
Relational Parametricity for Computational Effects
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...
Rasmus Ejlers Møgelberg, Alex Simpson
FASE
2005
Springer
14 years 3 months ago
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
Ralf Reussner, Jens Happe, Annegret Habel
PRICAI
2004
Springer
14 years 3 months ago
An Anytime Algorithm for Interpreting Arguments
Abstract. The problem of interpreting Natural Language (NL) discourse is generally of exponential complexity. However, since interactions with users must be conducted in real time,...
Sarah George, Ingrid Zukerman, Michael Niemann