497 search results - page 26 / 100 » Symmetry within and between solutions |
106
click to vote
DIAGRAMS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...
COLING
2008
15 years 3 months ago
2008
We introduce a novel semantic representation formalism, Almost Flat Functional semantics (AFF), which is designed as an intelligent compromise between linguistically motivated pre...
121
click to vote
JCIT
2007
15 years 1 months ago
2007
An important issue of distributed systems is interoperability. Lack of interoperability between distributed systems is a common problem with current and legacy applications. Since...
113
click to vote
LPNMR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...
118
click to vote
ECTEL
2006
Springer
15 years 5 months ago
2006
Springer
Due to the information growth, distributed environments are offered as a feasible and scalable solution where Peerto-Peer networks have become more relevant. They bring many advan...