312 search results - page 8 / 63 » Restricting and Embedding Imperatives |
ICML
2010
IEEE
14 years 10 months ago
2010
IEEE
Hidden Markov Models (HMMs) are important tools for modeling sequence data. However, they are restricted to discrete latent states, and are largely restricted to Gaussian and disc...
ETFA
2008
IEEE
15 years 4 months ago
2008
IEEE
When trying to track down bugs using cyclic debugging, the ability to correctly reproduce executions is imperative. In sequential, deterministic, non-real-time software, this repr...
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
142
click to vote
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
Internet search results are a growing and highly profitable advertising platform. Search providers auction advertising slots to advertisers on their search result pages. Due to the...
180
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...