4737 search results - page 891 / 948 » The LOGIC negotiation model |
130
Voted
IJWIS
2008
15 years 3 months ago
2008
Purpose The discovery of the "right" ontology or ontology part is a central ingredient for effective ontology re-use. We present an approach for supporting a form of ada...
128
Voted
IJDAR
2006
15 years 3 months ago
2006
Tables are a ubiquitous form of communication. While everyone seems to know what a table is, a precise, analytical definition of "tabularity" remains elusive because some...
133
Voted
IJFCS
2006
15 years 3 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
121
click to vote
CONSTRAINTS
2007
15 years 3 months ago
2007
When a new (global) constraint is introduced in local search, measures for the penalty and variable conflicts of that constraint must be defined, and incremental algorithms for m...
148
click to vote
JAIR
2008
15 years 3 months ago
2008
Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts based on base...