5215 search results - page 323 / 1043 » A model of normative power |
185
click to vote
ICIAP
1997
ACM
15 years 11 months ago
1997
ACM
We present a model for image retrieval in which images are represented both at the form level, as sets of physical features of the representing objects, and at the content level, a...
201
click to vote
TACAS
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We have argued previously that the e ectiveness of a veri cation system derives not only from the power of its individual features for expression and deduction, but from ...
193
Voted
ECAI
2006
Springer
15 years 11 months ago
2006
Springer
Label ranking studies the problem of learning a mapping from instances to rankings over a predefined set of labels. Hitherto existing approaches to label ranking implicitly operate...
221
click to vote
SAC
2000
ACM
15 years 11 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
211
Voted
DOOD
1995
Springer
15 years 11 months ago
1995
Springer
Semantics represents a major problem area for active databases inasmuch as (i) there is l framework for defining the abstract semantics of active rules, and (ii) the various syst...