Sciweavers

1173 search results - page 86 / 235
» Weighted Distributed Systems and Their Logics
Sort
View
156
Voted
ICCS
2007
Springer
15 years 4 months ago
Building Verifiable Sensing Applications Through Temporal Logic Specification
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ana...
DATE
2008
IEEE
157views Hardware» more  DATE 2008»
15 years 7 months ago
Logical Reliability of Interacting Real-Time Tasks
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
Krishnendu Chatterjee, Arkadeb Ghosal, Thomas A. H...
93
Voted
ATAL
2010
Springer
15 years 1 months ago
A logical framework for prioritized goal change
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logica...
Shakil M. Khan, Yves Lespérance
199
Voted
ICLP
2009
Springer
16 years 1 months ago
Using Histograms to Better Answer Queries to Probabilistic Logic Programs
Probabilistic logic programs (PLPs) define a set of probability distribution functions (PDFs) over the set of all Herbrand interpretations of the underlying logical language. When...
Matthias Broecheler, Gerardo I. Simari, V. S. Subr...
EUSFLAT
2009
187views Fuzzy Logic» more  EUSFLAT 2009»
14 years 10 months ago
Intensity Assessment of Pedestrian Collisions in City of Mashhad based on Fuzzy Probabilities
Fuzzy probabilities have been widely used in the areas of risk assessment and decision making. Here, we propose a system based on fuzzy probabilities for assessing the intensity of...
Farzaneh Tatari, Mohammad R. Akbarzadeh-Totonchi