2662 search results - page 156 / 533 » Tools Demonstrations |
131
Voted
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— We describe a general methodology for tracking 3-dimensional objects in monocular and stereo video that makes use of GPU-accelerated filtering and rendering in combination wit...
105
Voted
BPM
2005
Springer
15 years 10 months ago
2005
Springer
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
143
click to vote
EPEW
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we introduce FPS, a mechanism to define performance measures for stochastic process algebra models. FPS is a functional performance specification language which desc...
155
click to vote
VIS
2007
IEEE
16 years 5 months ago
2007
IEEE
Conveying shape using feature lines is an important visualization tool in visual computing. The existing feature lines (e.g., ridges, valleys, silhouettes, suggestive contours, etc...
128
click to vote
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
Testing and debugging database software is often challenging and time consuming. A very arduous task for DB testers is finding a min-repro ? the "simplest possible setup"...