3212 search results - page 344 / 643 » Definition and modeling of process using object orientation |
206
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
187
click to vote
JSW
2008
15 years 6 months ago
2008
A recycling object is in its recycle chain and its status may often change according to recycling stage or reusing status; even its structure could often dynamically change accordi...
175
click to vote
POS
1998
Springer
15 years 11 months ago
1998
Springer
In light of advances in processor and networking technology, especially the emergence of network attached disks, the traditional client-server architecture becomes suboptimal for ...
220
click to vote
SIAMIS
2010
15 years 5 months ago
2010
Abstract. In this work, we present an approach to jointly segment a rigid object in a two-dimensional (2D) image and estimate its three-dimensional (3D) pose, using the knowledge o...
181
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
Natural image matting is an extremely challenging image processing problem due to its ill-posed nature. It often requires skilled user interaction to aid definition of foreground ...