11808 search results - page 13 / 2362 » Isometries and Computability Structures |
METAINFORMATICS
2004
Springer
14 years 1 months ago
2004
Springer
This paper is focusing on some interesting issues about service publicity and usability while trying to move from the classic Open Hypermedia Systems (OHSs) to structural aware env...
MM
2006
ACM
14 years 1 months ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
This work presents a best-first anytime algorithm for computing optimal coalition structures. The approach is novel in that it generates coalition structures based on coalition va...
OHS
2001
Springer
14 years 3 days ago
2001
Springer
Software engineers face a difficult task in managing the many different types of relationships that exist between the documents of a software development project. We refer to this...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical co...