644 search results - page 67 / 129 » A topological characterization of weakness |
CPAIOR
2005
Springer
15 years 5 months ago
2005
Springer
A cardinality constraint imposes that each value of a set V must be taken a certain number of times by a set of variables X, whereas an among constraint imposes that a certain numb...
113
click to vote
KR
2004
Springer
15 years 5 months ago
2004
Springer
Possible-world semantics are provided for Parikh’s relevance-sensitive model for belief revision. Having Grove’s system-of-spheres construction as a base, we consider addition...
VISUALIZATION
2002
IEEE
15 years 4 months ago
2002
IEEE
Internet connectivity is defined by a set of routing protocols which let the routers that comprise the Internet backbone choose the best route for a packet to reach its destinati...
97
Voted
FTRTFT
1994
Springer
15 years 4 months ago
1994
Springer
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
IFIPTCS
2000
15 years 3 months ago
2000
Abstract The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to ch...