867 search results - page 129 / 174 » On Two Forms of Structural Recursion |
97
Voted
SAT
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clau...
NPAR
2004
ACM
15 years 6 months ago
2004
ACM
Creating a portrait in the style of a particular artistic tradition or a particular artist is a difficult problem. Elusive to codify algorithmically, the nebulous qualities which...
103
click to vote
ADBIS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In today’s global environment, the structure and presentation of information may depend on the underlying context of the user. To address this issue, in previous work w...
116
click to vote
AOSE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The agent-oriented approach has been successfully applied to the solution of complex problems in dynamic open environments. However, to extend its use to mainstream compu...
113
Voted
APN
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...