Sciweavers

6829 search results - page 136 / 1366
» Quantitative Generalizations of Languages
Sort
View
IJAR
2008
95views more  IJAR 2008»
15 years 5 months ago
Complexity results for enhanced qualitative probabilistic networks
While quantitative probabilistic networks (QPNs) allow the expert to state influences between nodes in the network as influence signs, rather than conditional probabilities, infer...
Johan Kwisthout, Gerard Tel
LCTRTS
2010
Springer
15 years 11 months ago
Contracts for modular discrete controller synthesis
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
Gwenaël Delaval, Hervé Marchand, &Eacu...
PAKDD
2007
ACM
109views Data Mining» more  PAKDD 2007»
15 years 11 months ago
A Language and a Visual Interface to Specify Complex Spatial Patterns
The emerging interests in spatial pattern mining lead to the demand for a flexible spatial pattern mining language, on which easy to use and understand visual pattern language cou...
Xiaohui Li, Yan Huang
C++
1992
83views more  C++ 1992»
15 years 6 months ago
Adding Concurrency to a Programming Language
A programming language that lacks facilities for concurrent programming can gain those facilities in two ways: the language can be extended with additional constructs, which will ...
Peter A. Buhr, G. Ditchfeld
FORMATS
2005
Springer
15 years 10 months ago
Quantifying Similarities Between Timed Systems
We define quantitative similarity functions between timed transition systems that measure the degree of closeness of two systems as a real, in contrast to the traditional boolean ...
Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Pr...