1818 search results - page 130 / 364 » The Many Faces of a Translation |
91
Voted
SAT
2007
Springer
15 years 7 months ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...
106
click to vote
ICIP
2005
IEEE
15 years 6 months ago
2005
IEEE
Image Cube Trajectory (ICT) Analysis is a new and robust method to estimate the 3D structure of a scene from a set of 2D images. For a moving camera each 3D point is represented b...
99
Voted
NLDB
2005
Springer
15 years 6 months ago
2005
Springer
For most English words, dictionaries give various senses: e.g., “bank” can stand for a financial institution, shore, set, etc. Automatic selection of the sense intended in a gi...
107
Voted
MICRO
2003
IEEE
15 years 6 months ago
2003
IEEE
Many dynamic optimization and/or binary translation systems hold optimized/translated superblocks in a code cache. Conventional code caching systems suffer from overheads when con...
112
click to vote
ECOOP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...