7167 search results - page 1034 / 1434 » Answer Set Programming |
150
click to vote
UM
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Economic modeling provides a formal mechanism to understand user incentives and behavior in online systems. In this paper we describe the process of building a parameteri...
155
Voted
SAC
2004
ACM
16 years 29 days ago
2004
ACM
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...
184
click to vote
ATVA
2004
Springer
16 years 28 days ago
2004
Springer
nded Abstract – Oleg Parshin∗ Abdur Rakib† Stephan Thesing∗ Reinhard Wilhelm∗ The precise determination of worst-case execution times (WCETs) for programs is mostly bein...
201
click to vote
AUSAI
2004
Springer
16 years 28 days ago
2004
Springer
We propose a multivariate decision tree inference scheme by using the minimum message length (MML) principle (Wallace and Boulton, 1968; Wallace and Dowe, 1999). The scheme uses MM...
178
Voted
BPM
2004
Springer
16 years 28 days ago
2004
Springer
Workflow designers experience considerable freedom in designing the smaller steps (or activities) within a process. An operational notion of activity cohesion and coupling may help...