Sciweavers

3616 search results - page 274 / 724
» Conditional Memory Ordering
Sort
View
116
Voted
SIAMSC
2010
118views more  SIAMSC 2010»
14 years 11 months ago
Optimal Explicit Strong-Stability-Preserving General Linear Methods
This paper constructs strong-stability-preserving general linear time-stepping methods that are well suited for hyperbolic PDEs discretized by the method of lines. These methods ge...
Emil M. Constantinescu, Adrian Sandu
179
Voted
ICASSP
2011
IEEE
14 years 8 months ago
Proximal splitting methods for depth estimation
Stereo matching is an active area of research in image processing. In a recent work, a convex programming approach was developed in order to generate a dense disparity field. In ...
Mireille El Gheche, Jean-Christophe Pesquet, Jouma...
ICML
2004
IEEE
16 years 5 months ago
A Monte Carlo analysis of ensemble classification
In this paper we extend previous results providing a theoretical analysis of a new Monte Carlo ensemble classifier. The framework allows us to characterize the conditions under wh...
Roberto Esposito, Lorenza Saitta
ICCAD
2003
IEEE
129views Hardware» more  ICCAD 2003»
16 years 1 months ago
ILP Models for the Synthesis of Asynchronous Control Circuits
A new technique for the logic synthesis of asynchronous circuits is presented. It is based on the structural theory of Petri nets and integer linear programming. The technique is ...
Josep Carmona, Jordi Cortadella
IAT
2008
IEEE
15 years 11 months ago
Time and Defeasibility in FIPA ACL Semantics
Inferences about speech acts are often conditional, nonmonotonic, and involve the issue of time. Most agent communication languages, however, ignore these issues, due to the dif...
Guido Boella, Guido Governatori, Joris Hulstijn, R...