6274 search results - page 370 / 1255 » Proofs, Programs, Processes |
149
click to vote
ISPW
2005
IEEE
16 years 8 days ago
2005
IEEE
A process defines the way activities are organized, managed, measured, supported and improved to reach a goal. It has been shown, 15 years ago [1] that processes are software too; ...
180
click to vote
TSE
2010
15 years 5 months ago
2010
—Process modeling allows for analysis and improvement of processes that coordinate multiple people and tools working together to carry out a task. Process modeling typically focu...
178
click to vote
JLP
2007
15 years 6 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
187
click to vote
AMS
2005
Springer
16 years 7 days ago
2005
Springer
Visual Odometry is the process of estimating the movement of a (stereo) camera through its environment by matching point features between pairs of consecutive image frames. No prio...
160
click to vote
ISSAC
2001
Springer
15 years 11 months ago
2001
Springer
The degree of a rational map measures how often the map covers the image variety. In particular, when the rational map is a parametrization, the degree measures how often the para...