Sciweavers

1285 search results - page 12 / 257
» Structural Operators for Modeling 3-Manifolds
Sort
View
CVPR
2012
IEEE
13 years 5 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
15 years 24 days 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
15 years 28 days 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»
15 years 9 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
13 years 5 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...