Sciweavers

4155 search results - page 147 / 831
» Topic-Specific Optimization and Structuring
Sort
View
IFL
2007
Springer
120views Formal Methods» more  IFL 2007»
16 years 19 days ago
Lazy Contract Checking for Immutable Data Structures
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
Robert Bruce Findler, Shu-yu Guo, Anne Rogers
CAIP
2003
Springer
222views Image Analysis» more  CAIP 2003»
15 years 11 months ago
Learning Statistical Structure for Object Detection
Abstract. Many classes of images exhibit sparse structuring of statistical dependency. Each variable has strong statistical dependency with a small number of other variables and ne...
Henry Schneiderman
CVPR
2009
IEEE
17 years 1 months ago
In Defense of Orthonormality Constraints for Nonrigid Structure from Motion
In factorization approaches to nonrigid structure from motion, the 3D shape of a deforming object is usually modeled as a linear combination of a small number of basis shapes. T...
Ijaz Akhter (LUMS, Lahore, Pakistan), Yaser Sheikh...
WABI
2007
Springer
16 years 18 days ago
Topology Independent Protein Structural Alignment
Abstract. Protein structural alignment is an indispensable tool used for many different studies in bioinformatics. Most structural alignment algorithms assume that the structural ...
Joe Dundas, T. Andrew Binkowski, Bhaskar DasGupta,...
ICDE
2006
IEEE
148views Database» more  ICDE 2006»
16 years 16 days ago
Estimating XML Structural Join Size Quickly and Economically
XML structural joins, which evaluate the containment (ancestor-descendant) relationships between XML elements, are important operations of XML query processing. Estimating structu...
Cheng Luo, Zhewei Jiang, Wen-Chi Hou, Feng Yan, Ch...