Sciweavers

2604 search results - page 250 / 521
» Human Errors and System Requirements
Sort
View
IPPS
2003
IEEE
14 years 3 months ago
Model Checking a Cache Coherence Protocol for a Java DSM Implementation
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald...
ICRA
2002
IEEE
98views Robotics» more  ICRA 2002»
14 years 2 months ago
Computational Issues in the Planning and Kinematics of Binary Robots
To meet the objectives of many future missions, robots will need to be adaptable and reconfigurable. A concept for such a robotic system has been proposed previously based on usin...
Matthew D. Lichter, Vivek A. Sujan, Steven Dubowsk...
ACL
1998
13 years 11 months ago
Combining Multiple, Large-Scale Resources in a Reusable Lexicon for Natural Language Generation
A lexicon is an essential component in a generation system but few efforts have been made to build a rich, large-scale lexicon and make it reusable for different generation applic...
Hongyan Jing, Kathleen McKeown
ENTCS
2007
156views more  ENTCS 2007»
13 years 9 months ago
Bounded Model Checking with Parametric Data Structures
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
Erika Ábrahám, Marc Herbstritt, Bern...
SIGIR
2008
ACM
13 years 9 months ago
Named entity normalization in user generated content
Named entity recognition is important for semantically oriented retrieval tasks, such as question answering, entity retrieval, biomedical retrieval, trend detection, and event and...
Valentin Jijkoun, Mahboob Alam Khalid, Maarten Mar...