231 search results - page 14 / 47 » A Brief Overview of HOL4 |
STACS
2009
Springer
14 years 1 months ago
2009
Springer
ABSTRACT. This paper gives a brief overview of computation models for data stream processing, and it introduces a new model for multi-pass processing of multiple streams, the so-ca...
ICMCS
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper deals with the creation of visual segment trees involved in MPEG-7 Description Schemes. After a brief overview of MPEG7 description schemes in general and of the Segmen...
CADE
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
SOFSEM
1999
Springer
14 years 27 days ago
1999
Springer
Changeability (also called evolvability) is an essential property of software. Software change is the foundation for both new software development and legacy software maintenance, ...
CONCUR
1989
Springer
14 years 21 days ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...