2564 search results - page 292 / 513 » Witness sets of projections |
215
click to vote
FORTE
2011
14 years 9 months ago
2011
We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified. The multi-party sessio...
379
click to vote
ICAL
2011
14 years 5 months ago
2011
— In this paper, a numerical method (termed, E47 algorithm) based on linear variational inequalities (LVI) is presented and investigated to solve quadratic programming (QP) probl...
213
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
Trajectory basis Non-Rigid Structure From Motion (NRSFM) currently faces two problems: the limit of reconstructability and the need to tune the basis size for different sequences....
230
click to vote
HPDC
2012
IEEE
13 years 8 months ago
2012
IEEE
Consider a multithreaded parallel application running inside a multicore virtual machine context that is itself hosted on a multi-socket multicore physical machine. How should the...
134
click to vote
WWW
2003
ACM
16 years 6 months ago
2003
ACM
This paper introduces a framework for modeling and specifying the global behavior of e-service compositions. Under this framework, peers (individual e-services) communicate throug...