16666 search results - page 2568 / 3334 » Descriptive and Computational Complexity |
214
click to vote
KR
2000
Springer
15 years 11 months ago
2000
Springer
In contrast with classical reasoning, where a solution is either correct or incorrect, approximate reasoning tries to compute solutions which are close to the ideal solution, with...
209
click to vote
MIDDLEWARE
2000
Springer
15 years 11 months ago
2000
Springer
Historically, method-oriented middleware, such as Sun RPC, DCE, Java RMI, COM, and CORBA, has provided synchronous method invocation (SMI) models to applications. Although SMI work...
217
click to vote
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
We propose a novel exemplar based method to estimate 3D human poses from single images by using only the joint correspondences. Due to the inherent depth ambiguity, estimating 3D ...
203
click to vote
CAIP
1995
Springer
15 years 11 months ago
1995
Springer
The Point Distribution Model (PDM) has already proved useful for many tasks involving the location or tracking of deformable objects. A principal limitation lies in the fact that n...
232
click to vote
SPIN
2000
Springer
15 years 11 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...