602 search results - page 14 / 121 » Efficient Model Checking of Applications with Input Output |
DATE
2010
IEEE
14 years 23 days ago
2010
IEEE
—Module paths are often used to specify the delays of cells in a Verilog cell library description, which define the propagation delay for an event from an input to an output. Sp...
JMLR
2012
11 years 10 months ago
2012
We propose a new family of latent variable models called max-margin min-entropy (m3e) models, which define a distribution over the output and the hidden variables conditioned on ...
IPCV
2007
13 years 9 months ago
2007
- An architecture system and a method for tracking people are presented for sports applications. The system’s input is video data from static camera and the output is the real wo...
IJAR
2008
13 years 7 months ago
2008
The two most important models of inferencing in approximate reasoning with fuzzy sets are Zadeh's Compositional Rule of Inference (CRI) and Similarity Based Reasoning (SBR). ...
ICML
2002
IEEE
14 years 8 months ago
2002
IEEE
A new approach to ensemble learning is introduced that takes ranking rather than classification as fundamental, leading to models on the symmetric group and its cosets. The approa...