5409 search results - page 50 / 1082 » Basic Observables for Processes |
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
The articulated body models used to represent human motion typically have many degrees of freedom, usually expressed as joint angles that are highly correlated. T...
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
— This study describes a method of estimating the intrinsic parameters of a perspective camera. In previous calibration methods for perspective cameras, the intrinsic and extrins...
ISCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...
ICSE
1998
IEEE-ACM
13 years 12 months ago
1998
IEEE-ACM
An essential characteristic of large scale software development is parallel development by teams of developers. How this parallel development is structured and supported has a pro...
APN
2008
Springer
13 years 9 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...