16218 search results - page 150 / 3244 » Standards |
120
click to vote
DAM
1999
15 years 4 months ago
1999
We analyse the generalisation accuracy of standard techniques for the `logical analysis of data', within a probabilistic framework.
122
click to vote
ATVA
2010
Springer
15 years 1 months ago
2010
Springer
The problem of synthesising a reactive system is discussed. The most standard instance of this problem ask to construct a finite input-output automaton satisfying a given regular s...
119
click to vote
PADL
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we present a type system for typing Web applications in SMLserver, an efficient multi-threaded Web server platform for Standard ML scriptlets. The type sys...
121
click to vote
INTEROP
1999
Springer
15 years 8 months ago
1999
Springer
This work investigates the practical issue of mapping existing GIS to the OpenGIS standards. We describe the data models used in three systems (MGE, ARC/INFO and SPRING) and analys...
138
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...