4036 search results - page 730 / 808 » Formal Methods |
153
click to vote
FMSD
2010
15 years 3 months ago
2010
Abstract Modeling and Simulation Aided Verification of Analog/MixedSignal Circuits S. Little and C. Myers (University of Utah, USA) Monday, July 14, 14:00-17:00 4 14:00-14:40 fSpic...
137
click to vote
FSS
2010
15 years 3 months ago
2010
The paper investigates fuzzy relations on a finite domain in the cutworthy framework, dealing with a new property coming from the information theory. If the domain of a relation i...
139
click to vote
FUIN
2010
15 years 3 months ago
2010
Abstract. A (combinatorial) channel consists of pairs of words representing all possible inputoutput channel situations. In a past paper, we formalized the intuitive concept of “...
163
click to vote
IAJIT
2010
2010
Representing Uncertainty in Medical Knowledge: An Interval Based Approach for Binary Fuzzy Relations
15 years 3 months ago
: This paper addresses issues involved in representation of causal relationships between medical categories. An interval based approach for medical binary fuzzy relations is propos...
145
click to vote
PAMI
2010
15 years 3 months ago
2010
—We describe an object detection system based on mixtures of multiscale deformable part models. Our system is able to represent highly variable object classes and achieves state-...