6607 search results - page 265 / 1322 » Making TeX Work |
142
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
In previous work we introduced a new missing data imputation method for ASR, dubbed sparse imputation. We showed that the method is capable of maintaining good recognition accurac...
122
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial descriptions of symbols, based on a formal description. This work is ...
136
click to vote
TASE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
136
click to vote
SADFE
2009
IEEE
15 years 11 months ago
2009
IEEE
Increasingly advances in file carving, memory analysis and network forensics requires the ability to identify the underlying type of a file given only a file fragment. Work to dat...
117
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— We consider the task of planning smooth trajectories for robot motion. In this paper we make two contributions. First we present a method for cubic spline optimization;...