1757 search results - page 56 / 352 » Alternating Refinement Relations |
192
Voted
VLDB
2001
ACM
16 years 23 days ago
2001
ACM
: XML is rapidly emerging as a standard for exchanging business data on the World Wide Web. For the foreseeable future, however, most business data will continue to be stored in re...
89
Voted
JOLLI
2008
15 years 15 days ago
2008
Saul Kripke's thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By th...
100
Voted
COSIT
2007
Springer
15 years 6 months ago
2007
Springer
Cavities in spatial phenomena require geometric representations of regions with holes. Existing models for reasoning over topological relations either exclude such specialized regi...
88
Voted
ALIFE
2007
15 years 20 days ago
2007
Robert Rosen’s central theorem states that organisms are fundamentally different to machines, mainly because they are ‘‘closed with respect to effcient causation.’’ The p...
87
Voted
FORTE
1990
15 years 1 months ago
1990
This paper describes a decision procedure for bisimulation-based equivalence relations between labeled transition systems. The algorithm usually performed in order to verify bisim...