347 search results - page 23 / 70 » Overview of INEX 2005 |
KIVS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract: The document will give a brief overview of the Presence and Availability -specification in general, protocols used in the IP Multimedia Subsystem - namely SIP and Diamet...
LPNMR
2005
Springer
14 years 1 months ago
2005
Springer
FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of th...
MLMI
2005
Springer
14 years 1 months ago
2005
Springer
The network of excellence HUMAINE is currently making a co-ordinated, interdisciplinary effort to develop a consistent view on emotion-oriented computing. This overview paper prop...
CCGRID
2005
IEEE
13 years 9 months ago
2005
IEEE
This paper presents a comparative study of Kerrighed, openMosix and OpenSSI, three Single System Image (SSI) operating systems for clusters. This experimental study gives an overv...
LPAR
2005
Springer
14 years 1 months ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...