Sciweavers

2940 search results - page 103 / 588
» Relational Parametricity and Control
Sort
View
ISMIR
2004
Springer
95views Music» more  ISMIR 2004»
15 years 9 months ago
A multi-parametric and redundancy-filtering approach to pattern identification
This paper presents the principles of a new approach aimed at automatically discovering motivic patterns in monodies. It is shown that, for the results to agree with the listenerâ...
Olivier Lartillot
AAAI
1990
15 years 5 months ago
Indexical Knowledge in Robot Plans
Robots act upon and perceive the world from a particular perspective. It is important to recognize this relativity to perspective if one is not to be overly demanding in specifyin...
Yves Lespérance, Hector J. Levesque
TSP
2011
170views more  TSP 2011»
14 years 10 months ago
Model Selection for Sinusoids in Noise: Statistical Analysis and a New Penalty Term
—Detection of the number of sinusoids embedded in noise is a fundamental problem in statistical signal processing. Most parametric methods minimize the sum of a data ï¬t (likeli...
Boaz Nadler, Leonid Kontorovich
CVPR
2011
IEEE
14 years 8 months ago
A Brute-Force Algorithm for Reconstructing a Scene from Two Projections
Is the real problem in ï¬nding the relative orientation of two viewpoints the correspondence problem? We argue that this is only one difï¬culty. Even with known correspondences,...
Olof Enqvist, Fangyuan Jiang, Fredrik Kahl
STTT
2008
134views more  STTT 2008»
15 years 4 months ago
Automated verification of access control policies using a SAT solver
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
Graham Hughes, Tevfik Bultan