854 search results - page 64 / 171 » Addressing Dynamic Issues of Program Model Checking |
154
click to vote
HUMO
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Learned, activity-specific motion models are useful for human pose and motion estimation. Nevertheless, while the use of activityspecific models simplifies monocular t...
171
click to vote
VLDB
1995
ACM
15 years 6 months ago
1995
ACM
Parallel database systems have to support the effective parallelization of complex queries in multi-user mode, i.e. in combination with inter-query/inter-transaction parallelism. ...
123
click to vote
BMVC
2010
15 years 15 days ago
2010
Many practical applications require an accurate knowledge of the extrinsic calibration (i.e., pose) of a moving camera. The existing SLAM and structure-from-motion solutions are n...
140
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
We present Chorus, a high-level parallel programming model suitable for irregular, heap-manipulating applications like mesh refinement and epidemic simulations, and JChorus, an i...
233
click to vote
ICDE
2009
IEEE
16 years 4 months ago
2009
IEEE
The vast majority of work on skyline queries considers totally ordered domains, whereas in many applications some attributes are partially ordered, as for instance, domains of set ...