3786 search results - page 505 / 758 » Structure Comparison and Structure Patterns |
154
click to vote
JAR
2010
14 years 10 months ago
2010
Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...
100
click to vote
TSP
2010
14 years 10 months ago
2010
Abstract--In this paper, the problem of estimating direction-ofarrival (DOA) of multiple uncorrelated sources from single antenna power measurements is addressed. Utilizing the fac...
129
click to vote
HICSS
2011
IEEE
14 years 7 months ago
2011
IEEE
EventGraphs are social media network diagrams of conversations related to events, such as conferences. Many conferences now communicate a common “hashtag” or keyword to identi...
114
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
As more data becomes available for a given speech recognition task, the natural way to improve recognition accuracy is to train larger models. But, while this strategy yields mode...
131
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Members of a protein family often have highly conserved sequences; most of these sequences carry identical biological functions and possess similar three-dimensional (...