1809 search results - page 130 / 362 » Software Model Checking Using Linear Constraints |
138
click to vote
ICCV
2009
IEEE
16 years 10 months ago
2009
IEEE
This purely theoretical work investigates the problem
of artificial singularities in camera self-calibration. Selfcalibration
allows one to upgrade a projective reconstruction
t...
159
click to vote
PRL
2010
14 years 11 months ago
2010
The general setting of regression analysis is to identify a relationship between a response variable Y and one or several explanatory variables X by using a learning sample. In a ...
126
click to vote
SIGPLAN
2002
15 years 4 months ago
2002
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...
142
Voted
BMVC
2000
15 years 6 months ago
2000
This work presents a piecewise linear approximation to non-linear Point Distribution Models for modelling the human hand. The work utilises the natural segmentation of shape space...
152
click to vote
CCECE
2006
IEEE
15 years 11 months ago
2006
IEEE
This work is focused on the motion control of an underactuated brachiation robot with 3 links. We present the modeling of the dynamics of the robot and introduce the application o...