Sciweavers

460 search results - page 58 / 92
» Abstract and Discrete Modeling of Spatio-Temporal Data Types
Sort
View
FOSSACS
2005
Springer
14 years 2 months ago
A Computational Model for Multi-variable Differential Calculus
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
Abbas Edalat, André Lieutier, Dirk Pattinso...
GPCE
2007
Springer
14 years 2 months ago
42: programmable models of computation for a component-based approach to heterogeneous embedded systems
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
Florence Maraninchi, Tayeb Bouhadiba
MICCAI
2008
Springer
14 years 9 months ago
Discovering Modes of an Image Population through Mixture Modeling
Abstract. We present iCluster, a fast and efficient algorithm that clusters a set of images while co-registering them using a parameterized, nonlinear transformation model. The out...
Mert R. Sabuncu, Serdar K. Balci, Polina Golland
VLDB
1994
ACM
115views Database» more  VLDB 1994»
14 years 21 days ago
Database Graph Views: A Practical Model to Manage Persistent Graphs
Advanced technical applications like routing systems or electrical network managementsystems introduce the need for complex manipulations of large size graphs. Efficiently support...
Alejandro Gutiérrez, Philippe Pucheral, Her...
AIMSA
2004
Springer
14 years 12 days ago
Advances in Profile Assisted Voicemail Management
Abstract. Spoken audio is an important source of information available to knowledge extraction and management systems. Organization of spoken messages by priority and content can f...
Konstantinos Koumpis