3856 search results - page 387 / 772 » Models for Automated Earthmoving |
151
click to vote
HPCC
2005
Springer
16 years 10 days ago
2005
Springer
Tuning parallel code can be a time-consuming and difficult task. We present our approach to automate the performance analysis of OpenMP applications that is based on the notion of ...
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 6 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 ...