231 search results - page 13 / 47 » A Brief Overview of HOL4 |
GI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract: The vision process is very complex and requires for its realization in artificial systems a fundamentally new technology for systems generation. This must be based on pr...
GIAE
2004
Springer
14 years 2 months ago
2004
Springer
This paper first gives a brief overview over some interesting descriptions of conic sections, showing formulations in the three geometric algebras of Euclidean spaces, projective ...
ICESS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Traditional wisdom in programming language design suggests that there is a trade-off between expressive power and static guarantees. We describe a novel schema for desig...
COOPIS
2003
IEEE
14 years 1 months ago
2003
IEEE
The overall purpose of this article is partly to give a brief overview of the TangO conceptual model, partly to explore the Jini technology as a means for support of pervasive syst...
DEBS
2009
ACM
14 years 1 months ago
2009
ACM
This paper presents our experiences with building of the soft state XSiena publish/subscribe system. We provide a brief overview of our approach towards the soft state in publish/...