6480 search results - page 62 / 1296 » Proximity Communication and Time |
154
click to vote
ECOOP
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
105
click to vote
IV
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we present a prototypal file manager, VENNFS, that is designed to overcome some of the limitations of the current desktop interfaces, that are strongly based on hie...
CLEF
2003
Springer
15 years 9 months ago
2003
Springer
We evaluate the feasibility of applying currently available research tools to the problem of cross lingual QA. We establish a task baseline by combining a cross lingual IR system w...
128
click to vote
JMLR
2010
14 years 10 months ago
2010
A computationally efficient approach to local learning with kernel methods is presented. The Fast Local Kernel Support Vector Machine (FaLK-SVM) trains a set of local SVMs on redu...
131
click to vote
CIKM
1994
Springer
15 years 8 months ago
1994
Springer
The rapid advances in computer and communication technologies, and their merger, is leading to a global information market place. It will consist of federations of very large numb...