7167 search results - page 488 / 1434 » Answer Set Programming |
138
click to vote
SIAMCOMP
2008
15 years 4 months ago
2008
The Graph Theorem of classical recursion theory states that a total function on the natural numbers is computable, if and only if its graph is recursive. It is known that this res...
138
click to vote
CHI
2003
ACM
16 years 4 months ago
2003
ACM
How is interacting with computer programs different from interacting with people? One answer in the literature is that these two types of interactions are similar. The present stu...
242
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
Translating data and data access operations between applications and databases is a longstanding data management problem. We present a novel approach to this problem, in which the...
148
click to vote
AOSD
2010
ACM
15 years 11 months ago
2010
ACM
Aspect-Oriented Modeling (AOM) provides support for separating concerns at the design level. Even though most AOM approaches provide means to execute the composition of the modula...
122
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
This work presents a descriptive and analytic study of classes playing zero, one, or two roles in six different design patterns (and combinations thereof). First, we answer three...