231 search results - page 19 / 47 » A Brief Overview of PVS |
CIVR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Information Retrieval is a supporting technique which underpins a broad range of content-based applications including retrieval, filtering, summarisation, browsing, clas...
ICCHP
2004
Springer
14 years 26 days ago
2004
Springer
This paper gives a brief overview about the partially EU funded project IST-2000-25420 FASTY in the IST program. The objective of FASTY was the creation of a system for increasing ...
MKM
2004
Springer
14 years 25 days ago
2004
Springer
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
SIGADA
2004
Springer
14 years 25 days ago
2004
Springer
The GNAT Development Team is directly involved with the Ada 2005 effort, both participating in the Ada Rapporteur Group (ARG), and implementing and testing the new features propo...
CLUSTER
2003
IEEE
14 years 24 days ago
2003
IEEE
This paper presents a comparative study of the communication middleware systems suitable for aggregating computational clusters with heterogeneous incompatible SANs into a common ...