Sciweavers

9405 search results - page 67 / 1881
» Computing a Model of Set Theory
Sort
View
LICS
2003
IEEE
15 years 3 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
DAGM
2010
Springer
14 years 8 months ago
An Empirical Comparison of Inference Algorithms for Graphical Models with Higher Order Factors Using OpenGM
Abstract. Graphical models with higher order factors are an important tool for pattern recognition that has recently attracted considerable attention. Inference based on such model...
Björn Andres, Jörg H. Kappes, Ullrich K&...
ISCAS
2002
IEEE
103views Hardware» more  ISCAS 2002»
15 years 2 months ago
A SPICE model for single electronics
With single-electron tunneling (SET) technology it is possible to build electronic circuits with extreme low power properties. These SET circuits must therefore operate in the sin...
R. van de Haar, J. Hoekstra, R. H. Klunder
GC
2010
Springer
14 years 8 months ago
Intriguing Sets of Vertices of Regular Graphs
Intriguing and tight sets of vertices of point-line geometries have recently been studied in the literature. In this paper, we indicate a more general framework for dealing with t...
Bart De Bruyn, Hiroshi Suzuki
DAM
2008
88views more  DAM 2008»
14 years 10 months ago
Stochastic applications of media theory: Random walks on weak orders or partial orders
This paper presents the axioms of a real time random walk on the set of states of a medium and some of their consequences, such as the asymptotic probabilities of the states. The ...
Jean-Claude Falmagne, Yung-Fong Hsu, Fabio Leite, ...