89222 search results - page 94 / 17845 » Which |
145
click to vote
FATES
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
181
click to vote
HYBRID
2000
Springer
15 years 9 months ago
2000
Springer
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...
140
click to vote
CIKM
1995
Springer
15 years 9 months ago
1995
Springer
As the amount of available electronic information is dramatically increasing, the ability for rapid and e ective access to information has become critical. Most traditional inform...
146
click to vote
DEXA
1995
Springer
15 years 9 months ago
1995
Springer
- In order to accomplish independence on the logical data organization, a relational DBMS must be capable of interpreting query language sentences which reference attributes belong...
213
click to vote
ICDAR
1995
IEEE
15 years 9 months ago
1995
IEEE
The method herein proposed detects text lines on handwritten pages which may include either lines oriented in several directions, erasures, or annotationsbetween main lines. The m...