Sciweavers

3018 search results - page 420 / 604
» Linguistic Knowledge Generator
Sort
View
FLAIRS
2009
15 years 4 months ago
Memory Based Goal Schema Recognition
We propose a memory-based approach to the problem of goal-schema recognition. We use a generic episodic memory module to perform incremental goal schema recognition and to build t...
Dan Tecuci, Bruce W. Porter
FORTE
2009
15 years 4 months ago
Epistemic Logic for the Applied Pi Calculus
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
Rohit Chadha, Stéphanie Delaune, Steve Krem...
ICRA
2009
IEEE
100views Robotics» more  ICRA 2009»
15 years 4 months ago
Multi-robot plan adaptation by constrained minimal distortion feature mapping
We propose a novel method for multi-robot plan adaptation which can be used for adapting existing spatial plans of robotic teams to new environments or imitating collaborative spat...
Bálint Takács, Yiannis Demiris
CORR
2011
Springer
190views Education» more  CORR 2011»
14 years 10 months ago
Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...
Fangzhen Lin
ICASSP
2011
IEEE
14 years 10 months ago
An approach to sequential grouping in cochannel speech
Model-based methods for sequential organization in cochannel speech require pretrained speaker models and often prior knowledge of participating speakers. We propose an unsupervis...
Ke Hu, DeLiang Wang