Sciweavers

3174 search results - page 437 / 635
» An Exploration of the Permanent-Determinant Method
Sort
View
ICFCA
2007
Springer
16 years 24 days ago
Computing Intensions of Digital Library Collections
We model a Digital Library as a formal context in which objects are documents and attributes are terms describing documents contents. A formal concept is very close to the notion o...
Carlo Meghini, Nicolas Spyratos
IFL
2007
Springer
120views Formal Methods» more  IFL 2007»
16 years 24 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
MIRAGE
2007
Springer
16 years 23 days ago
3D Reconstruction of Human Faces from Occluding Contours
Abstract. In this paper we take a fresh look at the problem of extracting shape from contours of human faces. We focus on two key questions: how can we robustly fit a 3D face mode...
Michael Keller, Reinhard Knothe, Thomas Vetter
QOSA
2007
Springer
16 years 23 days ago
Factors Influencing Industrial Practices of Software Architecture Evaluation: An Empirical Investigation
To support software architecture evaluation practices, several efforts have been made to provide a basis for comparing and assessing evaluation methods, document various best pract...
Muhammad Ali Babar, Len Bass, Ian Gorton
SSS
2007
Springer
16 years 23 days ago
Stabilization in Dynamic Systems with Varying Equilibrium
System design often explores optimality of performance. What is optimal is, however, often not predefined or static in most cases, because it is affected by the context of operat...
Hui Cao, Anish Arora