4966 search results - page 217 / 994 » its 2010 |
201
click to vote
COMMA
2010
15 years 1 months ago
2010
Abstract. This paper presents a technique with which instances of argument structures in the Carneades model can be given a probabilistic semantics by translating them into Bayesia...
165
click to vote
NDJFL
2010
15 years 1 months ago
2010
l Abstraction via the Frege Quantifier G. Aldo Antonelli Abstract This paper presents a formalization of first-order aritharacterizing the natural numbers as abstracta of the equin...
217
click to vote
SP
2010
IEEE
15 years 1 months ago
2010
IEEE
The Computational Fluid Dynamics code Overflow includes as one of its solver options an algorithm which is a fairly small piece of code but which accounts for a significant portio...
175
click to vote
TIT
2010
15 years 1 months ago
2010
Abstract--We establish that the min-sum messagepassing algorithm and its asynchronous variants converge for a large class of unconstrained convex optimization problems, generalizin...
180
click to vote
TSMC
2010
15 years 1 months ago
2010
This paper proposes modeling the rapidly evolving energy systems as cyber-based physical systems. It introduces a novel cyber-based dynamical model whose mathematical description d...