Sciweavers

4513 search results - page 274 / 903
» Modeling with a Sense of Purpose
Sort
View
ACRI
2004
Springer
16 years 1 days ago
SAT-Based Analysis of Cellular Automata
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....
Massimo D'Antonio, Giorgio Delzanno
ADBIS
2004
Springer
105views Database» more  ADBIS 2004»
16 years 1 days ago
Event Database Processing
: The purpose of the current work is to explore and improve the analysis of event data stored in event repositories, enabling the application of specialized event algebra operators...
Joris Mihaeli, Opher Etzion
HICSS
2003
IEEE
154views Biometrics» more  HICSS 2003»
15 years 12 months ago
A Framework for Argumentation of Decision Task Generation and Identification
AbstractAbstractAbstract Decision task and its features are defined in order to distinguish motions, decision purposes, decision problems, alternatives, etc. Indicators of decision...
Jingle Sun, Pengzhu Zhang, Shaochuan Cheng
ISMIR
2003
Springer
110views Music» more  ISMIR 2003»
15 years 12 months ago
The dangers of parsimony in query-by-humming applications
Query-by-humming systems attempt to address the needs of the non-expert user, for whom the most natural query format – for the purposes of finding a tune, hook or melody of unk...
Colin Meek, William P. Birmingham
ASP
2001
Springer
15 years 11 months ago
Genes and Ants for Default Logic
Default Logic and Logic Programming with stable model semantics are recognized as powerful frameworks for incomplete information representation. Their expressive power are suitabl...
Pascal Nicolas, Frédéric Saubion, Ig...