Sciweavers

2889 search results - page 292 / 578
» An empirical study of
Sort
View
EMNLP
2008
15 years 8 months ago
Better Binarization for the CKY Parsing
We present a study on how grammar binarization empirically affects the efficiency of the CKY parsing. We argue that binarizations affect parsing efficiency primarily by affecting ...
Xinying Song, Shilin Ding, Chin-Yew Lin
STTT
2008
87views more  STTT 2008»
15 years 6 months ago
ProB: an automated analysis toolset for the B method
We present ProB, a validation toolset for the B method. ProB's automated animation facilities allow users to gain confidence in their specifications. ProB also contains a mode...
Michael Leuschel, Michael J. Butler
IROS
2007
IEEE
127views Robotics» more  IROS 2007»
16 years 1 months ago
Dynamic redistribution of a swarm of robots among multiple sites
Abstract— We present an approach for the dynamic assignment and reassignment of a large team of homogeneous robotic agents to multiple locations with applications to search and r...
Ádám M. Halász, M. Ani Hsieh,...
DIAGRAMS
2008
Springer
15 years 8 months ago
What Can Pictorial Representations Reveal about the Cognitive Characteristics of Autism?
Abstract. In this paper, we develop a cognitive account of autism centered around a reliance on pictorial representations. This Thinking in Pictures hypothesis shows significant po...
Maithilee Kunda, Ashok K. Goel
TGIS
2002
103views more  TGIS 2002»
15 years 6 months ago
Integration of Space Syntax into GIS: New Perspectives for Urban Morphology
Although space syntax has been successfully applied to many urban GIS studies, there is still a need to develop robust algorithms that support the automated derivation of graph re...
Bin Jiang, Christophe Claramunt