898 search results - page 59 / 180 » Transitions of the Pre-Symmetry Set |
175
click to vote
SOFSEM
2007
Springer
16 years 12 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
195
click to vote
IROS
2006
IEEE
16 years 9 days ago
2006
IEEE
— We propose to classify the behaviors of a mobile robot thanks to topological methods as an alternative to metric ones. To do so, we adapt an analysis scheme from Physics of non...
175
click to vote
JSYML
2002
15 years 6 months ago
2002
A propositional system of modal logic is second-order if it contains quantifiers p and p, which, in the standard interpretation, are construed as ranging over sets of possible worl...
151
click to vote
TIT
2002
15 years 6 months ago
2002
We develop methods for analyzing and constructing combined modulation/error-correctiong codes (ECC codes), in particular codes that employ some form of reversed concatenation and w...
141
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We analyze judgement aggregation problems in which a group of agents independently votes on a set of complex propositions that has some interdependency constraint between them (e....