7167 search results - page 974 / 1434 » Answer Set Programming |
ICALP
2010
Springer
15 years 9 months ago
2010
Springer
Min Ones Constraint Satisfaction Problems, i.e., the task of finding a satisfying assignment with at most k true variables (Min Ones SAT(Γ)), can express a number of interesting ...
126
click to vote
IFIP
2010
Springer
15 years 9 months ago
2010
Springer
This work presents a study about the use of Laban Movement Analysis (LMA) as a robust tool to describe human basic behavior patterns, to be applied in human-machine interaction. LM...
145
click to vote
CF
2009
ACM
15 years 8 months ago
2009
ACM
Decision Support System (DSS) workloads are known to be one of the most time-consuming database workloads that processes large data sets. Traditionally, DSS queries have been acce...
118
click to vote
IFIP
2009
Springer
15 years 8 months ago
2009
Springer
While Enterprise Architecture Modeling (EAM) methodologies become more and more popular, an EAM methodology tailored to the needs of virtual organizations (VO) is still to be devel...
146
click to vote
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
This paper promotes social role awareness as a desirable capability of animated agents, that are by now strong affective reasoners, but otherwise often lack the social competence ...