881 search results - page 162 / 177 » Word sense disambiguation |
CAV
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
103
click to vote
TSD
2007
Springer
15 years 3 months ago
2007
Springer
The world wide web is a natural setting for cross-lingual information retrieval. The European Union is a typical example of a multilingual scenario, where multiple users have to de...
WAPCV
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Most cognitive studies of language acquisition in both natural systems and artificial systems have focused on the role of purely linguistic information as the central co...
TCGOV
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We describe a web-based system to support groups in elaborating participatory budgets. Rather than using physical meetings with voting mechanisms, we promote virtual meet...
CORR
2010
Springer
14 years 8 months ago
2010
Springer
Abstract— Imitation learning in robots, also called programing by demonstration, has made important advances in recent years, allowing humans to teach context dependant motor ski...