3799 search results - page 572 / 760 » An Engineering Approach to Formal Methods |
202
click to vote
SIAMIS
2011
15 years 1 months ago
2011
This article presents a new adaptive framework for locally parallel texture modeling. Oscillating patterns are modeled with functionals that constrain the local Fourier decompositi...
193
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, we describe methods to exploit search queries mined from search engine query logs to improve domain detection in spoken language understanding. We propose extending...
181
click to vote
CHI
2011
ACM
14 years 9 months ago
2011
ACM
People routinely rely on Internet search engines to support their use of interactive systems: they issue queries to learn how to accomplish tasks, troubleshoot problems, and other...
173
click to vote
ICDAR
2011
IEEE
14 years 5 months ago
2011
IEEE
—We propose a new method for an effective removal of the printing artifacts occurring in historical newspapers which are caused by problems in the hot metal typesetting, a widely...
191
click to vote
IUI
2012
ACM
14 years 1 months ago
2012
ACM
The status updates posted to social networks, such as Twitter and Facebook, contain a myriad of information about what people are doing and watching. During events, such as sports...