Sciweavers

725 search results - page 70 / 145
» Descriptive Set Theory of Families of Small Sets
Sort
View
CSDA
2006
71views more  CSDA 2006»
14 years 9 months ago
Practical representations of incomplete probabilistic knowledge
This article deals with the compact representation of incomplete probabilistic knowledge which can be encountered in risk evaluation problems, for instance in environmental studie...
Cédric Baudrit, Didier Dubois
JMIV
1998
93views more  JMIV 1998»
14 years 9 months ago
Connectivity on Complete Lattices
Classically, connectivity is a topological notion for sets, often introduced by means of arcs. A non topological axiomatics has been proposed by Matheron and Serra. The present pa...
Jean Serra
JSYML
2007
97views more  JSYML 2007»
14 years 9 months ago
Sublocales in formal topology
The paper studies how the localic notion of sublocale transfers to formal topology. For any formal topology (not necessarily with positivity predicate) we define a sublocale to b...
Steven Vickers
HYBRID
2003
Springer
15 years 3 months ago
On Systematic Simulation of Open Continuous Systems
Abstract. In this paper we investigate a new technique to determine whether an open continuous system behaves correctly for all admissible input signals. This technique is based on...
James Kapinski, Bruce H. Krogh, Oded Maler, Olaf S...
SIGCSE
1994
ACM
115views Education» more  SIGCSE 1994»
15 years 1 months ago
LLparse and LRparse: visual and interactive tools for parsing
This paper describes instructional tools, LLparse and LRparse, for visualizing and interacting with small examples of LL and LR parsing. These tools can be used to understand the ...
Stephen A. Blythe, Michael C. James, Susan H. Rodg...