6293 search results - page 1085 / 1259 » Information Flow Testing |
145
click to vote
ENTCS
2002
15 years 3 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
132
click to vote
MTA
2000
15 years 3 months ago
2000
Musical scores are traditionally retrieved by title, composer or subject classification. Just as multimedia computer systems increase the range of opportunities available for pres...
148
click to vote
FUIN
2002
15 years 3 months ago
2002
Biological research is currently undergoing a revolution. With the advent of microarray technology the behavior of thousands of genes can be measured simultaneously. This capabilit...
134
click to vote
GIS
2002
ACM
15 years 3 months ago
2002
ACM
The focus of this paper is on interoperability issues to achieve data integration in distributed databases for geographic applications. Our concrete application is in the context ...
133
click to vote
RAS
2000
15 years 3 months ago
2000
We address the problem of visual-based navigation of a mobile robot in indoors environments. The robot control system is based on a single camera to provide the required visual fe...