974 search results - page 152 / 195 » Programming Configurable Multiprocessors |
AMDO
2008
Springer
14 years 11 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...
ATVA
2008
Springer
14 years 11 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...
122
click to vote
CC
2008
Springer
14 years 11 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...
EMNLP
2008
14 years 11 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...
SETP
2008
14 years 11 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...