1172 search results - page 104 / 235 » Approximate Reasoning Based on Similarity |
135
Voted
AMAST
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
213
click to vote
WIOPT
2011
IEEE
14 years 8 months ago
2011
IEEE
—This paper studies the performance of ad hoc networks with local FDMA scheduling using stochastic point processes. In such networks, the Poisson assumption is not justified due...
135
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
Linear Logic is based on the analogy between algebraic linearity (i.e. commutation with sums and scalar products) and the computer science linearity (i.e. calling inputs only once...
122
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
A hardware method for functional unit assignment is presented, based on the principle that a functional unit’s power consumption is approximated by the switching activity of its...
171
Voted
ECCV
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. Recent studies on three-dimensional face recognition proposed to model facial expressions as isometries of the facial surface. Based on this model, expression-invariant s...