Sciweavers

1589 search results - page 186 / 318
» Constraints with Variables' Annotations
Sort
View
FM
1999
Springer
109views Formal Methods» more  FM 1999»
14 years 2 months ago
Compositional Symmetric Sharing in B
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...
Martin Büchi, Ralph-Johan Back
HYBRID
1997
Springer
14 years 2 months ago
Time-Deterministic Hybrid Transition Systems
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
Simin Nadjm-Tehrani
NETWORKING
2000
13 years 11 months ago
Real-Time Traffic Transmission over the Internet
Abstract. Multimedia applications require the transmission of realtime streams over a network. These streams often exhibit variable bandwidth requirements, and require high bandwid...
Marco Furini, Donald F. Towsley
NIPS
1993
13 years 11 months ago
Surface Learning with Applications to Lipreading
Most connectionist research has focused on learning mappings from one space to another (eg. classification and regression). This paper introduces the more general task of learnin...
Christoph Bregler, Stephen M. Omohundro
CORR
2006
Springer
104views Education» more  CORR 2006»
13 years 10 months ago
Loop corrections for approximate inference
We propose a method to improve approximate inference methods by correcting for the influence of loops in the graphical model. The method is a generalization and alternative implem...
Joris M. Mooij, Bert Kappen