2694 search results - page 146 / 539 » A Description Logic of Change |
ECAI
2010
Springer
13 years 10 months ago
2010
Springer
Whilst narrative representations have played a prominent role in AI research, there has been a renewed interest in the topic with the development of interactive narratives. A typic...
ISMB
2000
13 years 11 months ago
2000
A novel description of protein structure in terms of the generalized secondary structure elements (GSSE) is proposed. GSSE's are defined as fragments of the protein structure...
JMM2
2008
13 years 9 months ago
2008
In this article, a human centered approach for interactive face generation is presented. The users of the system are given the possibility to interactively generate faces from verb...
JUCS
2000
13 years 9 months ago
2000
: This document contains a range of needs and requirements concerning the construction of a light control system for a floor of a university building. A description of the building...
CADE
2007
Springer
14 years 10 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...