Sciweavers

25 search results - page 4 / 5
» A hierarchy of hereditarily finite sets
Sort
View
EUROMICRO
2009
IEEE
14 years 2 months ago
Formal Semantics of the ProCom Real-Time Component Model
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlso...
CORR
2008
Springer
125views Education» more  CORR 2008»
13 years 11 months ago
Semidefinite programming for N-Player Games
Abstract. We introduce two min-max problems: the first problem is to minimize the supremum of finitely many rational functions over a compact basic semi-algebraic set whereas the s...
Rida Laraki, Jean B. Lasserre
VIS
2004
IEEE
195views Visualization» more  VIS 2004»
15 years 2 days ago
Flow Field Clustering via Algebraic Multigrid
We present a novel multiscale approach for flow visualization. We define a local alignment tensor that encodes a measure for alignment to the direction of a given flow field. This...
Michael Griebel, Tobias Preußer, Martin Rump...
CORR
2010
Springer
80views Education» more  CORR 2010»
13 years 11 months ago
Separations of Matroid Freeness Properties
Properties of Boolean functions on the hypercube that are invariant with respect to linear transformations of the domain are among some of the most well-studied properties in the ...
Arnab Bhattacharyya, Elena Grigorescu, Jakob Nords...
CVIU
2008
188views more  CVIU 2008»
13 years 11 months ago
Learning function-based object classification from 3D imagery
We propose a novel scheme for using supervised learning for function-based classification of objects in 3D images. During the learning process, a generic multi-level hierarchical ...
Michael Pechuk, Octavian Soldea, Ehud Rivlin