Sciweavers

1798 search results - page 64 / 360
» Generating presentation constraints from rhetorical structur...
Sort
View
ICAPR
2005
Springer
14 years 3 months ago
Hierarchical Clustering of Dynamical Systems Based on Eigenvalue Constraints
Abstract. This paper addresses the clustering problem of hidden dynamical systems behind observed multivariate sequences by assuming an interval-based temporal structure in the seq...
Hiroaki Kawashima, Takashi Matsuyama
CVPR
2001
IEEE
15 years 5 days ago
Automatic Description of Buildings with Complex Rooftops from Multiple Images
We present a model-based approach to detecting and describing compositions of buildings with complex rooftops. Previous approaches have dealt with either simpler models or models ...
Zu Whan Kim, Andres Huertas, Ramakant Nevatia
TASE
2009
IEEE
14 years 4 months ago
Fault-Based Test Case Generation for Component Connectors
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
Bernhard K. Aichernig, Farhad Arbab, Lacramioara A...
FM
2008
Springer
152views Formal Methods» more  FM 2008»
13 years 11 months ago
Constraint Prioritization for Efficient Analysis of Declarative Models
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
Engin Uzuncaova, Sarfraz Khurshid
IJON
2008
100views more  IJON 2008»
13 years 10 months ago
EvOL-Neuron: Neuronal morphology generation
Virtual neurons are essential in computational neuroscience to study the relation between neuronal form and function. One way of obtaining virtual neurons is by algorithmic genera...
Ben Torben-Nielsen, Karl Tuyls, Eric O. Postma