Sciweavers

5101 search results - page 332 / 1021
» Capturing Context Requirements
Sort
View
TIP
2002
98views more  TIP 2002»
15 years 6 months ago
Joint-MAP Bayesian tomographic reconstruction with a gamma-mixture prior
We address the problem of Bayesian image reconstruction with a prior that captures the notion of a clustered intensity histogram. The problem is formulated in the framework of a j...
Ing-Tsung Hsiao, Anand Rangarajan, Gene Gindi
TOG
2002
114views more  TOG 2002»
15 years 6 months ago
A procedural approach to authoring solid models
We present a procedural approach to authoring layered, solid models. Using a simple scripting language, we define the internal structure of a volume from one or more input meshes....
Barbara Cutler, Julie Dorsey, Leonard McMillan, Ma...
VLDB
2002
ACM
98views Database» more  VLDB 2002»
15 years 6 months ago
Processing Star Queries on Hierarchically-Clustered Fact Tables
Star queries are the most prevalent kind of queries in data warehousing, OLAP and business intelligence applications. Thus, there is an imperative need for efficiently processing ...
Nikos Karayannidis, Aris Tsois, Timos K. Sellis, R...
PAMI
2007
186views more  PAMI 2007»
15 years 6 months ago
The Medial Scaffold of 3D Unorganized Point Clouds
—We introduce the notion of the medial scaffold, a hierarchical organization of the medial axis of a 3D shape in the form of a graph constructed from special medial curves connec...
Frederic F. Leymarie, Benjamin B. Kimia
IEE
2010
136views more  IEE 2010»
15 years 5 months ago
Assume-guarantee verification of software components in SOFA 2 framework
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
Pavel Parizek, Frantisek Plasil