Sciweavers

1463 search results - page 236 / 293
» The State of the Art in Language Modeling
Sort
View
ACL
1998
14 years 11 months ago
Growing Semantic Grammars
A critical path in the development of natural language understanding NLU modules lies in the di culty of de ning a mapping from words to semantics: Usually it takes in the order o...
Marsal Gavaldà, Alex Waibel
BIRTHDAY
2009
Springer
15 years 1 months ago
Modular Verification of Strongly Invasive Aspects
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
Emilia Katz, Shmuel Katz
IEICET
2006
114views more  IEICET 2006»
14 years 9 months ago
Synchronization Verification in System-Level Design with ILP Solvers
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...
NN
2006
Springer
121views Neural Networks» more  NN 2006»
14 years 9 months ago
Mirror neurons and imitation: A computationally guided review
Neurophysiology reveals the properties of individual mirror neurons in the macaque while brain imaging reveals the presence of `mirror systems' (not individual neurons) in th...
Erhan Oztop, Mitsuo Kawato, Michael A. Arbib
ICRA
2002
IEEE
108views Robotics» more  ICRA 2002»
15 years 2 months ago
An Execution Control System for Autonomous Robots
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...
François Felix Ingrand, Frederic Py