Sciweavers

4326 search results - page 852 / 866
» A Model for Process Service Interaction
Sort
View
FLAIRS
2007
14 years 12 months ago
Assessing Entailer with a Corpus of Natural Language from an Intelligent Tutoring System
In this study, we compared Entailer, a computational tool that evaluates the degree to which one text is entailed by another, to a variety of other text relatedness metrics (LSA, ...
Philip M. McCarthy, Vasile Rus, Scott A. Crossley,...
AIPS
2003
14 years 11 months ago
A Multi-Agent System-driven AI Planning Approach to Biological Pathway Discovery
As genomic and proteomic data is collected from highthroughput methods on a daily basis, subcellular components are identified and their in vitro behavior is characterized. Howev...
Salim Khan, William Gillis, Carl Schmidt, Keith De...
CSL
2010
Springer
14 years 10 months ago
From Feasible Proofs to Feasible Computations
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...
Jan Krajícek
AIS
2007
Springer
14 years 9 months ago
Wearable music in engaging technologies
We address the relationship between a music performer and her instrument as a possible model for re-thinking wearable technologies. Both musical instruments and textiles invite pa...
Franziska Schroeder, Pedro Rebelo
BMCBI
2007
145views more  BMCBI 2007»
14 years 9 months ago
Genome bioinformatic analysis of nonsynonymous SNPs
Background: Genome-wide association studies of common diseases for common, low penetrance causal variants are underway. A proportion of these will alter protein sequences, the mos...
David F. Burke, Catherine L. Worth, Eva-Maria Prie...