Sciweavers

1451 search results - page 47 / 291
» Order independence and rationalizability
Sort
View
EWC
2002
86views more  EWC 2002»
15 years 6 months ago
On Object-Oriented Frameworks and Coordinate Free Formulations of PDEs
An object-oriented (OO) framework for Partial tial Equations (PDEs) provides software abstractions for numerical simulation of PDEs. The design of such frameworks is not trivial, a...
Magne Haveraaen, Hans Z. Munthe-Kaas, Krister &Ari...
LPAR
2010
Springer
15 years 4 months ago
Semiring-Induced Propositional Logic: Definition and Basic Algorithms
In this paper we introduce an extension of propositional logic that allows clauses to be weighted with values from a generic semiring. The main interest of this extension is that ...
Javier Larrosa, Albert Oliveras, Enric Rodrí...
CVPR
2011
IEEE
15 years 1 months ago
Learning structured prediction models for interactive image labeling
We propose structured models for image labeling that take into account the dependencies among the image labels explicitly. These models are more expressive than independent label ...
Thomas Mensink, Jakob Verbeek, Gabriela Csurka
DCOSS
2011
Springer
14 years 6 months ago
Transmission Control Policy design for decentralized detection in sensor networks
—A Wireless Sensor Network (WSN) deployed for detection applications has the distinguishing feature that sensors cooperate to perform the detection task. Therefore, the decoupled...
Ashraf Tantawy, Xenofon D. Koutsoukos, Gautam Bisw...
SODA
2012
ACM
208views Algorithms» more  SODA 2012»
13 years 8 months ago
Partial match queries in random quadtrees
We consider the problem of recovering items matching a partially specified pattern in multidimensional trees (quad trees and k-d trees). We assume the traditional model where the...
Nicolas Broutin, Ralph Neininger, Henning Sulzbach