Sciweavers

4421 search results - page 425 / 885
» Libraries
Sort
View
ATAL
2007
Springer
15 years 11 months ago
Coordination and Sociability for Intelligent Virtual Agents
This paper presents a multi-agent framework designed to simulate synthetic humans that properly balance task oriented and social behaviors. The work presented in this paper focuses...
Francisco Grimaldo, Miguel Lozano, Fernando Barber
BIRD
2007
Springer
120views Bioinformatics» more  BIRD 2007»
15 years 11 months ago
Annotation of LC/ESI-MS Mass Signals
Abstract. Mass spectrometry is the work-horse technology of the emerging eld of metabolomics. The identication of mass signals remains the largest bottleneck for a non-targeted a...
Ralf Tautenhahn, Christoph Böttcher, Steffen ...
CC
2007
Springer
118views System Software» more  CC 2007»
15 years 11 months ago
A Practical Escape and Effect Analysis for Building Lightweight Method Summaries
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...
Sigmund Cherem, Radu Rugina
142
Voted
CLEF
2007
Springer
15 years 11 months ago
Charles University at CLEF 2007 Ad-Hoc Track
In this paper we describe retrieval experiments performed at Charles University in Prague for participation in the CLEF 2007 Ad-Hoc track. We focused on the Czech monolingual task...
Pavel Ceska, Pavel Pecina
163
Voted
DALT
2007
Springer
15 years 11 months ago
Composing High-Level Plans for Declarative Agent Programming
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...
Felipe Rech Meneguzzi, Michael Luck