10156 search results - page 124 / 2032 » Step by Step to Histories |
175
click to vote
MOC
2010
15 years 1 months ago
2010
Computing a lower bound for the canonical height is a crucial step in determining a Mordell
220
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The problem of passive localization is commonly solved by independently measuring intermediate parameters (such as angles of arrival (AOA), times of arrival (TOA)...) on several m...
175
click to vote
ACL
2012
13 years 9 months ago
2012
This paper presents a two-step approach to compress spontaneous spoken utterances. In the first step, we use a sequence labeling method to determine if a word in the utterance ca...
166
click to vote
DAC
2009
ACM
16 years 8 months ago
2009
ACM
Post-silicon processor debugging is frequently carried out in a loop consisting of several iterations of the following two key steps: (i) processor execution for some duration, fo...
182
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...