2621 search results - page 284 / 525 » Generalized Algorithms for Constructing Statistical Language... |
214
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
This paper presents a demand-driven, flow-insensitive analysis algorithm for answering may-alias queries. We formulate the computation of alias queries as a CFL-reachability probl...
122
Voted
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
132
click to vote
CODES
2003
IEEE
15 years 8 months ago
2003
IEEE
the level of abstraction in system design promises to enable faster exploration of the design space at early stages. While scheduling decision for embedded software has great impa...
123
Voted
JAIR
2010
15 years 1 months ago
2010
This paper deals with value (and Q-) function approximation in deterministic Markovian decision processes (MDPs). A general statistical framework based on the Kalman filtering pa...
113
Voted
ICASSP
2009
IEEE
15 years 9 months ago
2009
IEEE
We propose novel algorithms for organizing large image and video datasets using both the visual content and the associated sideinformation, such as time, location, authorship, and...