3384 search results - page 468 / 677 » More Testable Properties |
169
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we introduce the notion of ranking robustness, which refers to a property of a ranked list of documents that indicates how stable the ranking is in the presence of ...
158
click to vote
ESWS
2004
Springer
15 years 10 months ago
2004
Springer
In order to realize the on-the-fly ontology construction for the Semantic Web, this paper proposes DODDLE-R, a support environment for user-centered ontology development. It consis...
168
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
253
click to vote
CVPR
2006
IEEE
15 years 10 months ago
2006
IEEE
Recently proposed Sobolev active contours introduced a new paradigm for minimizing energies defined on curves by changing the traditional cost of perturbing a curve and thereby re...
172
click to vote
DIS
2006
Springer
15 years 10 months ago
2006
Springer
Incremental learning is an approach to deal with the classification task when datasets are too large or when new examples can arrive at any time. One possible approach uses concent...