357 search results - page 26 / 72 » Isomorphism via translation |
NAACL
2010
14 years 9 months ago
2010
The class of Linear Inversion Transduction Grammars (LITGs) is introduced, and used to induce a word alignment over a parallel corpus. We show that alignment via Stochastic Bracke...
ICPR
2006
IEEE
16 years 27 days ago
2006
IEEE
We propose an object detection method using particle filters. Our approach estimates the probability of object presence in the current image given the history of observations up t...
125
click to vote
FLOPS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
ISCA
2005
IEEE
15 years 5 months ago
2005
IEEE
As processor speeds increase and memory latency becomes more critical, intelligent design and management of secondary caches becomes increasingly important. The efficiency of curr...
115
click to vote
ATS
2003
IEEE
15 years 5 months ago
2003
IEEE
We present a framework for high-level design validation using an efficient register-transfer level (RTL) automatic test pattern generator (ATPG). The RTL ATPG generates the test ...