Sciweavers

2066 search results - page 191 / 414
» Word Maturity: Computational Modeling of Word Knowledge
Sort
View
AAMAS
2008
Springer
15 years 6 months ago
Agents that argue and explain classifications
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent/incomplete/uncertain knowledge, based on the construction and the comparison of ar...
Leila Amgoud, Mathieu Serrurier
ESSLLI
2009
Springer
15 years 3 months ago
A Salience-Driven Approach to Speech Recognition for Human-Robot Interaction
We present an implemented model for speech recognition in natural environments which relies on contextual information about salient entities to prime utterance recognition. The hyp...
Pierre Lison
COMPLEX
2009
Springer
16 years 14 days ago
Phase Transition of Active Rotators in Complex Networks
Abstract. We study the nonequilibrium phenomena of a coupled active rotator model in complex networks. From a numerical Langevin simulation, we find the peculiar phase transition ...
Seung-Woo Son, Hawoong Jeong, Hyunsuk Hong
SPIN
2009
Springer
16 years 13 days ago
Improving Non-Progress Cycle Checks
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...
David Faragó, Peter H. Schmitt
SAB
2010
Springer
110views Optimization» more  SAB 2010»
15 years 4 months ago
How to Pick the Right One: Investigating Tradeoffs among Female Mate Choice Strategies in Treefrogs
Two main theories of female mate choice, that females either pick the best from the n closest males (best-of-n) or the closest with some minimum quality (min-threshold), make diffe...
Matthias Scheutz, Jack Harris, Sunny K. Boyd