Sciweavers

4155 search results - page 477 / 831
» Topic-Specific Optimization and Structuring
Sort
View
ICAD
2004
15 years 8 months ago
Emotionface: Prototype Facial Expression Display of Emotion in Music
EmotionFace is a software interface for visually displaying the self-reported emotion expressed by music. Taken in reverse, it can be viewed as a facial expression whose auditory ...
Emery Schubert
GEOINFO
2003
15 years 8 months ago
Efficient Query Processing on the Relational Quadtree
Relational index structures, as for instance the Relational Interval Tree, the Relational R-Tree, or the Linear Quadtree, support efficient processing of queries on top of existing...
Hans-Peter Kriegel, Peter Kunath, Martin Pfeifle, ...
IJCAI
2003
15 years 8 months ago
Generalizing GraphPlan by Formulating Planning as a CSP
We examine the approach of encoding planning problems as CSPs more closely. First we present a simple CSP encoding for planning problems and then a set of transformations that can...
Adriana Lopez, Fahiem Bacchus
FSTTCS
2008
Springer
15 years 8 months ago
Runtime Monitoring of Metric First-order Temporal Properties
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
David A. Basin, Felix Klaedtke, Samuel Müller...
CANDC
2007
ACM
15 years 6 months ago
Chromosome segregation in Escherichia coli division: A free energy-driven string model
Although the mechanisms of eukaryotic chromosome segregation and cell division have been elucidated to a certain extent, those for bacteria remain largely unknown. Here we present...
Jianmiao Fan, Kagan Tuncay, Peter J. Ortoleva