13461 search results - page 158 / 2693 » Generalization with Taxonomic Information |
173
click to vote
SACMAT
2006
ACM
16 years 5 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
165
click to vote
UIST
2006
ACM
16 years 5 days ago
2006
ACM
The recent trend towards miniaturization of projection technology indicates that handheld devices will soon have the ability to project information onto any surface, thus enabling...
140
click to vote
ECSQARU
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In previous papers, we have presented a framework for merging structured information in XML involving uncertainty in the form of probabilities, degrees of beliefs and nec...
191
click to vote
ISMIR
2005
Springer
15 years 11 months ago
2005
Springer
This survey paper provides an overview of content-based music information retrieval systems, both for audio and for symbolic music notation. Matching algorithms and indexing metho...
137
click to vote
SAS
2005
Springer
15 years 11 months ago
2005
Springer
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation. Barthe, D’Argenio, and Rezk coined th...