Michael Huth  Home/Search
Context
Related
| ksu.edu/~huth/isdt99.ps ksu.edu/~huth/isdt99.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ksu.edu/~huth/research (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We re-interpret the category of relations according to views, pairs of dcpos hP; T i such that T embeds as a set into the set of maximal elements of P . A qualitative view hM; 2i renders the modal transition systems of K. Larsen and B. Thomsen as a partial view, R : X \Theta Y ! P , of relations, R : X \Theta Y ! 2. A quantitative view represents relations as fuzzy (T is the unit interval UI) or interval-valued (P is the interval domain I) relations. We specify functors mediating between... (Update)
Similar documents (at the sentence level):
39.6%: Domains of View and Model Checking - Huth (1999) (Correct)
Active bibliography (related documents): More All
0.3: Domains of View: A Foundation for Specification and Analysis - Huth (2000) (Correct)
0.3: A Unifying Framework for Model Checking Labeled Kripke Structures, .. - Huth (1999) (Correct)
0.2: System Description, Abstraction, and Verification: A Uniform.. - Huth (1999) (Correct)
Similar documents based on text: More All
0.5: Genetic Algorithms for Reformulation of Large-Scale KDD.. - Hsu, Cheng, Gustafson (2000) (Correct)
0.3: An Interval Framework for Process Algebras, Refinement, and Model.. - Huth (Correct)
0.2: A Survey of Algorithms for Real-Time Bayesian Network Inference - Guo, Hsu (2002) (Correct)
BibTeX entry: (Update)
@misc{ huth-interval,
author = "Michael Huth",
title = "The Interval Domain as a Semantic Foundation for Reasoning About Uncertainty
Or Vagueness",
url = "citeseer.ist.psu.edu/233992.html" }
Citations (may not include all citations):1726 Graph-based algorithms for boolean function manipulation - Bryant - 1986
815 Abstract interpretation: a unified lattice model for static .. (context) - Cousot, Cousot - 1977
779 Symbolic model checking: 10 20 states and beyond - Burch, Clarke et al. - 1990
603 Kluwer Academic Publishers (context) - McMillan, Checking - 1993
384 Interval Analysis (context) - Moore - 1966
231 Model Checking and Abstraction - Clarke, Grumberg et al. - 1992
221 Specification and verification of concurrent systems in cesa.. (context) - Quielle, Sifakis - 1981
211 Domain theory - Abramsky, Jung - 1994
128 Automatic Verification of Probabilistic Concurrent Finite-St.. (context) - Vardi - 1985
122 Synthesis of synchronization skeletons for branching time te.. (context) - Clarke, Emerson - 1981
109 Continuous lattices (context) - Scott - 1972
106 An algebraic definition of simulation between programs (context) - Milner - 1971
84 Basic Category Theory for Computer Scientists (context) - Pierce - 1991
82 Finite-State Markovian Decision Processes (context) - Derman - 1970
78 cache coherence protocol (context) - Clarke, Grumberg et al. - 1993
69 A tutorial on learning Bayesian networks - Heckerman - 1995
58 Neural-network-based fuzzy logic control and decision system (context) - Lin, Lee - 1991
52 A Modal Process Logic (context) - Larsen, Thomsen - 1988
52 Specification and Refinement of Probabilistic Processes (context) - Jonsson, Larsen - 1991
49 ACM Transactions on Programming Languages and Systems (context) - Dams, Gerth et al. - 1997
48 Measures and Fractals via Domain Theory (context) - Edalat - 1995
39 Series in Computer Science (context) - Milner, Concurrency - 1989
26 Three Logics for Branching Bisimulation (context) - de Nicola, Vaandrager - 1995
22 Concurrency on automata and infinite sequences (context) - Park - 1981
19 Timed Modal Specification --- Theory and Tools - Cerans, Chr et al. - 1993
14 Data Types and Semantics (context) - Scott - 1972
13 Integration in Real PCF - Edalat, Escardo - 1996
11 van Norstrand Company (context) - Halmos - 1950
8 Bisimulation and Model Checking - Fisler, Vardi - 1999
5 A Unifying Framework for Model Checking Labeled Kripke Struc.. - Huth - 1999
1 Semantics of exact arithmetic (context) - Edalat, Potts et al. - 1997
Documents on the same site (http://zaurak.cis.ksu.edu/~huth/research.html): More
System Description, Abstraction, and Verification: A Uniform.. - Huth (1999) (Correct)
System Description, Abstraction, and Verification: A Uniform.. - Michael Huth (Correct)
Approximating Decision Problems - Huth (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC