Sciweavers

3299 search results - page 455 / 660
» A general mathematics of names
Sort
View
ICTAC
2005
Springer
16 years 21 hour ago
The Timer Cascade: Functional Modelling and Real Time Calculi
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
Raymond T. Boute, Andreas Schäfer
IFIP
2005
Springer
16 years 20 hour ago
Probable Innocence Revisited
In this paper we propose a formalization of probable innocence, a notion of probabilistic anonymity that is associated to “realistic” protocols such as Crowds. We analyze crit...
Konstantinos Chatzikokolakis, Catuscia Palamidessi
IJCNLP
2005
Springer
16 years 20 hour ago
Machine Translation Based on Constraint-Based Synchronous Grammar
This paper proposes a variation of synchronous grammar based on the formalism of context-free grammar by generalizing the first component of productions that models the source text...
Fai Wong, Dong-Cheng Hu, Yu-Hang Mao, Ming-Chui Do...
ILP
2005
Springer
16 years 20 hour ago
Spatial Clustering of Structured Objects
Clustering is a fundamental task in Spatial Data Mining where data consists of observations for a site (e.g. areal units) descriptive of one or more (spatial) primary units, possib...
Donato Malerba, Annalisa Appice, Antonio Varlaro, ...
ISMIR
2005
Springer
151views Music» more  ISMIR 2005»
16 years 18 hour ago
Markov Random Fields and Maximum Entropy Modeling for Music Information Retrieval
Music information retrieval is characterized by a number of various user information needs. Systems are being developed that allow searchers to find melodies, rhythms, genres, an...
Jeremy Pickens, Costas S. Iliopoulos