6434 search results - page 347 / 1287 » Model Transformations with Reference Models |
180
click to vote
ISSTA
2006
ACM
16 years 20 days ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
183
click to vote
FCCM
2003
IEEE
15 years 12 months ago
2003
IEEE
Hybrid architectures, which are composed of a conventional processor closely coupled with reconfigurable logic, seem to combine the advantages of both types of hardware. They pres...
165
Voted
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
In this paper, we present a global scheme for encoding/ decoding natural video sequences with partial 3D models. This technique is based on a robust estimation of a constrained de...
177
click to vote
IPPS
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper explores the relation between the structured parallelism exposed by the Decomposable BSP (DBSP) model through submachine locality and locality of reference in multi-lev...
217
click to vote
AMTA
2004
Springer
16 years 3 days ago
2004
Springer
German has a richer system of inflectional morphology than English, which causes problems for current approaches to statistical word alignment. Using Giza++ as a reference implemen...