Sciweavers

53 search results - page 5 / 11
» Characterizing the Errors of Data-Driven Dependency Parsing ...
Sort
View
ACMSE
1990
ACM
13 years 10 months ago
Computerizing a machine readable dictionary
Current research in natural language processing is characterized by the development of theories of grammar which strongly depend on the lexicon to drive parsing systems (e.g. Lexi...
Jan G. Wilms
TROB
2002
118views more  TROB 2002»
13 years 5 months ago
The odometry error of a mobile robot with a synchronous drive system
This paper presents an error modeling of an odometry system for a synchronous-drive system and a possible strategy for evaluating this error. The odometry error is modeled by intro...
Agostino Martinelli
IJCAI
2007
13 years 7 months ago
The Value of Observation for Monitoring Dynamic Systems
We consider the fundamental problem of monitoring (i.e. tracking) the belief state in a dynamic system, when the model is only approximately correct and when the initial belief st...
Eyal Even-Dar, Sham M. Kakade, Yishay Mansour
ICCAD
2001
IEEE
128views Hardware» more  ICCAD 2001»
14 years 2 months ago
An Assembly-Level Execution-Time Model for Pipelined Architectures
The aim of this work is to provide an elegant and accurate static execution timing model for 32-bit microprocessor instruction sets, covering also inter–instruction effects. Suc...
Giovanni Beltrame, Carlo Brandolese, William Forna...
SEFM
2007
IEEE
14 years 2 days ago
Hardness for Explicit State Software Model Checking Benchmarks
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
Neha Rungta, Eric G. Mercer