Sciweavers

1285 search results - page 12 / 257
» Structural Operators for Modeling 3-Manifolds
Sort
View
CVPR
2012
IEEE
11 years 11 months ago
Structured Local Predictors for image labelling
In this paper we introduce Structured Local Predictors (SLP) – A new formulation that considers the image labelling problem from a structured learning point of view. SLP are loc...
Samuel Rota Bulò, Peter Kontschieder, Marce...
QEST
2010
IEEE
13 years 6 months ago
The Measurable Space of Stochastic Processes
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
Luca Cardelli, Radu Mardare
DLOG
2010
13 years 6 months ago
Logic for Modeling Product Structure
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...
Henson Graves
GMP
2006
IEEE
118views Solid Modeling» more  GMP 2006»
14 years 2 months ago
Geometric Modeling of Nano Structures with Periodic Surfaces
Commonly used boundary-based solid and surface modeling methods in traditional computer aided design are not capable of constructing configurations with large numbers of particles ...
Yan Wang
SIAMCOMP
2012
11 years 11 months ago
An Optimal Dynamic Data Structure for Stabbing-Semigroup Queries
Let S be a set of n intervals in R, and let (S, +) be any commutative semigroup. We assign a weight ω(s) ∈ S to each interval in S. For a point x ∈ R, let S(x) ⊆ S be the se...
Pankaj K. Agarwal, Lars Arge, Haim Kaplan, Eyal Mo...