509 search results - page 47 / 102 » A formal representation of functional size measurement metho... |
SIGSOFT
2003
ACM
14 years 1 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
ICFCA
2004
Springer
14 years 2 months ago
2004
Springer
The transfer of tacit knowledge is important in ensuring that an organisations most valuable assets do not walk out the door. While much controversy surrounds the definition of ta...
WSCG
2003
13 years 10 months ago
2003
We present a refinement and a coarsening (also simplification or decimation) algorithm for the adaptive representation of bivariate functions. The algorithms have proved to be eff...
NIPS
2001
13 years 10 months ago
2001
Policy gradient methods for reinforcement learning avoid some of the undesirable properties of the value function approaches, such as policy degradation (Baxter and Bartlett, 2001...
ICRA
2009
IEEE
13 years 6 months ago
2009
IEEE
Color-based tracking methods have proved to be efficient for their robustness qualities. The drawback of such global representation of an object is the lack of information on its s...