3809 search results - page 145 / 762 » Associative language descriptions |
129
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We outline meta-encoding schemas for compiling nonmonotonic logic theories into Verilog HDL (Hardware Description Language) descriptions. These descriptions can be synthesized int...
190
click to vote
MODELS
2007
Springer
16 years 16 days ago
2007
Springer
We propose a method for describing architectural aspects in UML and show how binding specifications are used to compose aspects with base models. UML classes, parts, ports, and c...
160
click to vote
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
We present a formal framework where the action description language C+ is used to provide multiple robots with high-level reasoning in the style of cognitive robotics. We show the ...
132
click to vote
IJCAI
2007
15 years 7 months ago
2007
A key issue in artificial intelligence lies in finding the amount of input detail needed to do successful learning. Too much detail causes overhead and makes learning prone to ove...
200
click to vote
ECOOP
1992
Springer
15 years 10 months ago
1992
Springer
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...