2176 search results - page 358 / 436 » Refactoring Methods for Knowledge Bases |
151
click to vote
TPHOL
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
115
click to vote
CVPR
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper proposes a novel approach to extract meaningful content information from video by collaborative integration of imageunderstanding and natural language processing. As an...
114
click to vote
RSCTC
1993
Springer
15 years 7 months ago
1993
Springer
: While the common kinds of uncertainties in databases (e.g., null values, disjunction, corrupt/missing data, domain mismatch, etc.) have been extensively studied, a relatively une...
116
click to vote
SIGMETRICS
1993
ACM
15 years 7 months ago
1993
ACM
Input/output subsystem performance is currently receiving considerable research attention. Signi cant e ort has been focused on reducing average I/O response times and increasing ...
142
click to vote
ACCV
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper we present an efficient technique to obtain accurate semantic classification on the pixel level capable of integrating various modalities, such as color, ed...