17298 search results - page 3111 / 3460 » Abstract computing machines |
156
click to vote
AIIDE
2008
15 years 8 months ago
2008
Computer aided interactive drama has been widely applied for entertainment and pedagogy. Most existing approaches for authoring interactive drama use either story-centric or chara...
172
click to vote
DLOG
2007
15 years 8 months ago
2007
Abstract. There has been an increased interest in recent years to incorporate uncertainty in Description Logics (DLs), and a number of proposals have been put forward for modeling ...
162
Voted
DLOG
2007
15 years 8 months ago
2007
Abstract. The Chemical Formulation Problem (Compounding Problem) consists in modifying the chemical formulation of a compound in order to obtain a new compound showing a set of des...
188
click to vote
DLOG
2008
15 years 8 months ago
2008
Abstract. Fuzzy Description Logics (f-DLs) have been proposed as extensions of classical Description Logics able to handle imprecise and vague knowledge. Although several extension...
163
Voted
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...