3914 search results - page 387 / 783 » Automating SLA modeling |
164
click to vote
ICCBR
2005
Springer
16 years 10 days ago
2005
Springer
We present a computational model of case-based visual problem solving. The Galatea model and the two experimental participants modeled in it show that 1) visual knowledge is suffic...
159
click to vote
MLMI
2005
Springer
16 years 9 days ago
2005
Springer
In this paper, we present a multimodal discourse ontology that serves as a knowledge representation and annotation framework for the discourse understanding component of an artifi...
165
click to vote
ATAL
2004
Springer
16 years 7 days ago
2004
Springer
We introduce a Game Logic with Preferences (GLP), which makes it possible to reason about how information or assumptions about the preferences of other players can be used by agen...
187
Voted
LPNMR
2004
Springer
16 years 5 days ago
2004
Springer
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX , where k is a non-negative integer and X is a finite set of ...
191
click to vote
ITC
2003
IEEE
16 years 3 days ago
2003
IEEE
Test model generation is crucial in the test generation process of a high-performance design targeted for large volume production. A key process in test model generation requires ...