1155 search results - page 3 / 231 » Elaborating Domain Descriptions |
76
Voted
AI
2007
Springer
14 years 11 months ago
2007
Springer
Traditionally, consistency is the only criterion for the quality of a theory in logicbased approaches to reasoning about actions. This work goes beyond that and contributes to the...
168
Voted
Publication
Modern hardware description languages support code-generation constructs like generate/endgenerate in Verilog. These constructs are intended to describe regular or parameterized ha...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
CHI
2009
ACM
16 years 6 days ago
2009
ACM
Communicating the subtleties of a craft technique, like putting a zipper into a garment or throwing a clay pot, can be challenging even when working side by side. Yet HowTo conten...
FLAIRS
2004
15 years 1 months ago
2004
NL interaction and skillful hinting are known as cornerstones for successful tutoring. Despite these insights, a combination of these two factors is widely under-represented in th...