Sciweavers

9166 search results - page 281 / 1834
» A framework for comparing models of computation
Sort
View
131
Voted
COGSCI
2004
97views more  COGSCI 2004»
15 years 4 months ago
A rhythm recognition computer program to advocate interactivist perception
This paper advocates the main ideas of the interactive model of representation of Mark Bickhard and the assimilation/accommodation framework of Jean Piaget, through a rhythm recog...
Jean-Christophe Buisson
TAL
2010
Springer
14 years 11 months ago
A Formal Ontology for a Computational Approach of Time and Aspect
This paper provides a linguistic semantic analysis of time and aspect in natural languages. On the basis of topological concepts, notions are introduced like the basic aspectual op...
Aurelien Arena, Jean-Pierre Desclés
136
Voted
ARCS
2006
Springer
15 years 8 months ago
Safety, Liveness, and Information Flow: Dependability Revisited
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
Zinaida Benenson, Felix C. Freiling, Thorsten Holz...
BMCBI
2006
127views more  BMCBI 2006»
15 years 4 months ago
A graph-search framework for associating gene identifiers with documents
Background: One step in the model organism database curation process is to find, for each article, the identifier of every gene discussed in the article. We consider a relaxation ...
William W. Cohen, Einat Minkov
PAKDD
2009
ACM
233views Data Mining» more  PAKDD 2009»
15 years 9 months ago
A Kernel Framework for Protein Residue Annotation
Abstract. Over the last decade several prediction methods have been developed for determining structural and functional properties of individual protein residues using sequence and...
Huzefa Rangwala, Christopher Kauffman, George Kary...