7623 search results - page 231 / 1525 » Constructive Volume Modeling |
140
click to vote
PC
2000
15 years 3 months ago
2000
The LogP model is a model of parallel computation that characterises a parallel computer system by four parameters: the latency L, the overhead o, the gap g and the number of proc...
127
Voted
DLOG
2010
15 years 1 months ago
2010
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 ...
128
click to vote
IJCNN
2006
IEEE
15 years 10 months ago
2006
IEEE
—We present a structured model of context that supports an integrated approach to language acquisition and use. The model extends an existing formal notation, Embodied Constructi...
126
click to vote
AUIC
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents user interface technology, using a glove based menuing system and 3D interaction techniques. It is designed to support applications that allow users to constru...
101
Voted
TSP
2008
15 years 3 months ago
2008
Abstract--We present a versatile framework for tractable computation of approximate variances in large-scale Gaussian Markov random field estimation problems. In addition to its ef...