Sciweavers

1875 search results - page 359 / 375
» A Calculus of Broadcasting Systems
Sort
View
159
Voted
NMR
2004
Springer
15 years 9 months ago
A probabilistic approach to default reasoning
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic
161
Voted
ICLP
2010
Springer
15 years 7 months ago
Bisimilarity in Concurrent Constraint Programming
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
Andres A. Aristizabal P.
133
Voted
FORMATS
2006
Springer
15 years 7 months ago
A Dose of Timed Logic, in Guarded Measure
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...
Kamal Lodaya, Paritosh K. Pandya
AIIDE
2008
15 years 6 months ago
Recombinable Game Mechanics for Automated Design Support
Systems that provide automated game-design support-whether fully automated game generators, or tools to assist human designers--must be able to maintain a representation of a game...
Mark J. Nelson, Michael Mateas
153
Voted
KDD
2002
ACM
164views Data Mining» more  KDD 2002»
16 years 4 months ago
Meta-classification: Combining Multimodal Classifiers
Combining multiple classifiers is of particular interest in multimedia applications. Each modality in multimedia data can be analyzed individually, and combining multiple pieces of...
Wei-Hao Lin, Alexander G. Hauptmann