Sciweavers

742 search results - page 85 / 149
» Order Structure, Correspondence, and Shape Based Categories
Sort
View
ICASSP
2007
IEEE
14 years 2 months ago
Automating Ornamentation Transcription
A novel technique for detecting single and multi-note ornaments is presented. The system detects audio segments by utilising an onset detector based on comb filters (ODCF), which ...
Mikel Gainza, Eugene Coyle
CAV
2006
Springer
133views Hardware» more  CAV 2006»
13 years 11 months ago
Programs with Lists Are Counter Automata
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Ra...
ICAISC
2010
Springer
13 years 9 months ago
Computer Assisted Peptide Design and Optimization with Topology Preserving Neural Networks
Abstract. We propose a non-standard neural network called TPNN which offers the direct mapping from a peptide sequence to a property of interest in order to model the quantitative ...
Jörg D. Wichard, Sebastian Bandholtz, Carsten...
UAI
2008
13 years 9 months ago
On Identifying Total Effects in the Presence of Latent Variables and Selection bias
Assume that cause-effect relationships between variables can be described as a directed acyclic graph and the corresponding linear structural equation model We consider the identi...
Manabu Kuroki, Zhihong Cai
COLING
1992
13 years 9 months ago
Processing Complex Noun Phrases In A Natural Language Interface To A Statistical Database
Analysisof a corpus of queries to a statistical database has shown considerable variation in the location and order of modifiers in complex noun phrases. Nevertheless, restriction...
Fred Popowich, Paul McFetridge, Dan Fass, Gary Hal...