Sciweavers

5809 search results - page 6 / 1162
» On Quantifying Semantic Information
Sort
View
RTSS
2005
IEEE
15 years 9 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 7 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»
15 years 3 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 ...
99
Voted
IMC
2009
ACM
15 years 10 months ago
Quantifying ases multiconnectivity using multicast information
Pascal Mérindol, Virginie Van den Schrieck,...
135
Voted
NECO
2011
14 years 10 months ago
Quantifying Neurotransmission Reliability Through Metrics-Based Information Analysis
Romain Brasselet, Roland S. Johansson, Angelo Arle...