Sciweavers

886 search results - page 80 / 178
» Experiences Using Lightweight Formal Methods for Requirement...
Sort
View
ICPR
2002
IEEE
15 years 2 months ago
Mutual Information Based Evaluation of 3D Building Models
This paper presents a metric based on information theory principles that compares 3D object models to images. The metric is based on the formulation of the mutual information betw...
Ildiko Suveg, George Vosselman
CGI
2004
IEEE
15 years 1 months ago
Computer Aided Design for Origamic Architecture Models with Polygonal Representation
An Origamic Architecture (OA) is a folded sheet of perforated paper from which a three-dimensional structure "pops up" when it is opened. It is similar to a "pop-up...
Jun Mitani, Hiromasa Suzuki
TKDE
2012
253views Formal Methods» more  TKDE 2012»
13 years 10 days ago
Horizontal Aggregations in SQL to Prepare Data Sets for Data Mining Analysis
—Preparing a data set for analysis is generally the most time consuming task in a data mining project, requiring many complex SQL queries, joining tables and aggregating columns....
Carlos Ordonez, Zhibo Chen 0002
BMCBI
2008
115views more  BMCBI 2008»
14 years 10 months ago
Systems biology driven software design for the research enterprise
Background: In systems biology, and many other areas of research, there is a need for the interoperability of tools and data sources that were not originally designed to be integr...
John Boyle, Christopher C. Cavnor, Sarah A. Killco...
ICPR
2006
IEEE
15 years 11 months ago
Automatic Estimation of 3D Transformations using Skeletons for Object Alignment
An algorithm for automatic estimation of 3D transformations between two objects is presented in this paper. Skeletons of the 3D objects are created with a fully parallel thinning ...
Anup Basu, Tao Wang