Sciweavers

5809 search results - page 6 / 1162
» On Quantifying Semantic Information
Sort
View
RTSS
2005
IEEE
15 years 3 months ago
Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations
Mapping a set of feedback control components to executable code introduces errors due to a variety of factors such as discretization, computational delays, and scheduling policies...
Hakan Yazarel, Antoine Girard, George J. Pappas, R...
AUSAI
2003
Springer
15 years 1 months ago
Decidability of Propositionally Quantified Logics of Knowledge
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
Tim French
COGSCI
2006
68views more  COGSCI 2006»
14 years 9 months ago
The Interpretation of Classically Quantified Sentences: A Set-Theoretic Approach
Wepresentaset-theoreticmodelofthementalrepresentationofclassicallyquantifiedsentences(AllP are Q, Some P are Q, Some P are not Q,and No P are Q). We take inclusion, exclusion, and...
Guy Politzer, Jean-Baptiste Van der Henst, Claire ...
IMC
2009
ACM
15 years 4 months ago
Quantifying ases multiconnectivity using multicast information
Pascal Mérindol, Virginie Van den Schrieck,...