Sciweavers

4084 search results - page 84 / 817
» Constraints in spatial structures
Sort
View
ICLP
2010
Springer
15 years 5 months ago
Structured Interactive Musical Scores
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
Mauricio Toro-Bermudez
AAAI
2008
15 years 3 months ago
Knowledge-Based Spatial Reasoning for Scene Generation from Text Descriptions
This system translates basic English descriptions of a wide range of objects in a simplistic zoo environment into plausible, three-dimensional, interactive visualizations of their...
Dan Tappan
ICSE
2008
IEEE-ACM
16 years 2 months ago
Juzi: a tool for repairing complex data structures
This paper describes Juzi, a tool for automatic repair of complex data structures. Juzi takes a Java class representing the data structure as well as a predicate method that speci...
Bassem Elkarablieh, Sarfraz Khurshid
CP
2004
Springer
15 years 6 months ago
Streamlined Constraint Reasoning
Abstract. We introduce a new approach for focusing constraint reasoning using so-called streamlining constraints. Such constraints partition the solution space to drive the search ...
Carla P. Gomes, Meinolf Sellmann
MICCAI
2008
Springer
16 years 2 months ago
MR Brain Tissue Classification Using an Edge-Preserving Spatially Variant Bayesian Mixture Model
In this paper, a spatially constrained mixture model for the segmentation of MR brain images is presented. The novelty of this work is a new, edge preserving, smoothness prior whic...
Giorgos Sfikas, Christophoros Nikou, Nikolas P. ...