974 search results - page 152 / 195 » Programming Configurable Multiprocessors |
136
click to vote
AMDO
2008
Springer
15 years 4 months ago
2008
Springer
Recently many methods for human articulated body tracking were proposed in the literature. These techniques are often computationally intensive and cannot be used for Human-Compute...
126
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
172
Voted
CC
2008
Springer
15 years 4 months ago
2008
Springer
JIT compilation is a model of execution which translates at run time critical parts of the program to a low level representation. Typically a JIT compiler produces machine code fro...
119
click to vote
EMNLP
2008
15 years 3 months ago
2008
We present a discriminative, latent variable approach to syntactic parsing in which rules exist at multiple scales of refinement. The model is formally a latent variable CRF gramm...
120
click to vote
SETP
2008
15 years 3 months ago
2008
Software cost estimation is known to be a challenging task at best, and these challenges are increased for programmers operating outside the support of an established team program...