488 search results - page 87 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
110
click to vote
WSC
1997
15 years 4 months ago
1997
The foundation of readiness is training. The Chairman, Joint Chiefs of Staff (CJCS) Joint Training Program institutes methods for identifying training requirements through review ...
115
click to vote
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
– A mobile in vivo camera robot was developed to provide the ability for a single port biopsy procedure. Such a robot can be inserted into the abdominal cavity through a standard...
123
click to vote
ASPDAC
1995
ACM
15 years 6 months ago
1995
ACM
- In this paper, we present a new scheduling algorithms that generates area-efficient register transfer level datapaths with multiport memories. The proposed scheduling algorithm a...
121
click to vote
NIPS
2001
15 years 4 months ago
2001
Reaching movements require the brain to generate motor commands that rely on an internal model of the task's dynamics. Here we consider the errors that subjects make early in...
160
click to vote
ICDAR
2003
IEEE
15 years 8 months ago
2003
IEEE
The recognition of script in historical documents requires suitable techniques in order to identify single words. Segmentation of lines and words is a challenging task because lin...