Sciweavers

11182 search results - page 1861 / 2237
» Shape Analysis of Sets
Sort
View
CISSE
2008
Springer
15 years 9 months ago
From Constraints to Resolution Rules Part I : conceptual framework
: Many real world problems appear naturally as constraints satisfaction problems (CSP), for which very efficient algorithms are known. Most of these involve the combination of two ...
Denis Berthier
CMMR
2008
Springer
152views Music» more  CMMR 2008»
15 years 9 months ago
Labelling the Structural Parts of a Music Piece with Markov Models
Abstract. This paper describes a method for labelling structural parts of a musical piece. Existing methods for the analysis of piece structure often name the parts with musically ...
Jouni Paulus, Anssi Klapuri
DNIS
2007
Springer
93views Database» more  DNIS 2007»
15 years 9 months ago
Location Privacy in Geospatial Decision-Making
Geospatial data-sets are becoming commonplace in many application domains, especially in the area of decision-making. Current state-of-the-art in geospatial systems either lack the...
Cyrus Shahabi, Ali Khoshgozaran
CODES
2008
IEEE
15 years 9 months ago
Specification-based compaction of directed tests for functional validation of pipelined processors
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
Heon-Mo Koo, Prabhat Mishra
CONCUR
2008
Springer
15 years 9 months ago
Modeling Computational Security in Long-Lived Systems
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nan...
« Prev « First page 1861 / 2237 Last » Next »