Sciweavers

72 search results - page 6 / 15
» A Uniform Approach to Inter-model Transformations
Sort
View
IEAAIE
2003
Springer
15 years 2 months ago
A Rigorous Approach to Knowledge Base Maintenance
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine ...
John K. Debenham
ICALP
1990
Springer
15 years 1 months ago
Determining the Separation of Preprocessed Polyhedra - A Unified Approach
We show how (now familiar) hierarchical representations of (convex) polyhedra can be used to answer various separation queries efficiently (in a number of cases, optimally). Our e...
David P. Dobkin, David G. Kirkpatrick
ICASSP
2008
IEEE
15 years 3 months ago
Nonparametric feature normalization for SVM-based speaker verification
We investigate several feature normalization and scaling approaches for use in speaker verification based on support vector machines. We are particularly interested in methods th...
Andreas Stolcke, Sachin S. Kajarekar, Luciana Ferr...
CAD
2007
Springer
14 years 9 months ago
A spectral approach to shape-based retrieval of articulated 3D models
We present an approach for robust shape retrieval from databases containing articulated 3D models. Each shape is represented by the eigenvectors of an appropriately defined affin...
Varun Jain, Hao Zhang 0002
ICALP
2010
Springer
15 years 2 months ago
Automata for Coalgebras: An Approach Using Predicate Liftings
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
Gaëlle Fontaine, Raul Andres Leal, Yde Venema