583 search results - page 76 / 117 » On small blocking sets and their linearity |
91
Voted
ICPR
2008
IEEE
16 years 9 days ago
2008
IEEE
In this paper, we propose a method to estimate the 3D human posture from monocular image without using the markers. A 3D human body is expressed by a multi-joint model, and a set ...
107
click to vote
BPM
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
96
Voted
WCRE
2003
IEEE
15 years 4 months ago
2003
IEEE
Our research goal is to retarget image processing programs written in sequential languages (e.g., C) to architectures with data-parallel processing capabilities. Image processing ...
TLDI
2003
ACM
15 years 4 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
79
Voted
RTCSA
2000
IEEE
15 years 3 months ago
2000
IEEE
With the advance of applications such as multimedia, imagelspeech processing and real-time AI, real-time computing models allowing to express the “timeliness versus precision”...