Sciweavers

6395 search results - page 906 / 1279
» Searching for Interacting Features
Sort
View
CAISE
2005
Springer
16 years 12 days ago
A Metagraph View-Based Approach to Multi-firm Process Coordination
The structural details of a firm’s business processes are traditionally inaccessible to entities outside the firm. However, as firms move towards tighter coordination of process...
Amit Basu
ESORICS
2005
Springer
16 years 11 days ago
Sanitizable Signatures
We introduce the notion of sanitizable signatures that offer many attractive security features for certain current and emerging applications. A sanitizable signature allows author...
Giuseppe Ateniese, Daniel H. Chou, Breno de Medeir...
FROCOS
2005
Springer
16 years 11 days ago
Connecting a Logical Framework to a First-Order Logic Prover
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
Andreas Abel, Thierry Coquand, Ulf Norell
179
Voted
GFKL
2005
Springer
144views Data Mining» more  GFKL 2005»
16 years 11 days ago
Visual Mining in Music Collections
We describe the MusicMiner system for organizing large collections of music with databionic mining techniques. Visualization based on perceptually motivated audio features and Emer...
Fabian Mörchen, Alfred Ultsch, Mario Nöc...
NIME
2005
Springer
173views Music» more  NIME 2005»
16 years 10 days ago
The Metasurface: Applying Natural Neighbour Interpolation to Two-to-Many Mapping
This report describes The Metasurface – a mapping interface supporting interactive design of two-to-many mappings through the placement and interpolation of parameter snapshots ...
Ross Bencina