Search Sciweavers | Sciweavers

5809 search results - page 6 / 1162

» On Quantifying Semantic Information

click to vote

RTSS
2005
IEEE

87views Control Systems» more RTSS 2005»

Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations

14 years 1 months ago

Download www.cis.upenn.edu

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...

claim paper

Read More »

click to vote

AUSAI
2003
Springer

142views Artificial Intelligence» more AUSAI 2003»

Decidability of Propositionally Quantified Logics of Knowledge

13 years 11 months ago

Download www.csse.uwa.edu.au

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

claim paper

Read More »

click to vote

COGSCI
2006

68views more COGSCI 2006»

The Interpretation of Classically Quantified Sentences: A Set-Theoretic Approach

13 years 7 months ago

Download www.sfu.ca

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 ...

claim paper

Read More »

click to vote

IMC
2009
ACM

98views Internet Technology» more IMC 2009»

Quantifying ases multiconnectivity using multicast information

14 years 2 months ago

Download inl.info.ucl.ac.be

Pascal Mérindol, Virginie Van den Schrieck,...

claim paper

Read More »