670 search results - page 17 / 134 » Inclusion-Based Approximate Reasoning |
105
click to vote
APIN
2005
15 years 1 months ago
2005
This paper presents an extension of Petri net framework with imprecise temporal properties. We use possibility theory to represent imprecise time by time-stamping tokens and assig...
147
click to vote
TMC
2012
13 years 4 months ago
2012
—Characterizing the performance of ad hoc networks is one of the most intricate open challenges; conventional ideas based on information-theoretic techniques and inequalities hav...
173
click to vote
PSSE
2004
Springer
15 years 7 months ago
2004
Springer
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
123
Voted
CVPR
2006
IEEE
15 years 7 months ago
2006
IEEE
Part-based tree-structured models have been widely used for 2D articulated human pose-estimation. These approaches admit efficient inference algorithms while capturing the import...
151
Voted
LICS
2012
IEEE
13 years 4 months ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...