183 search results - page 1 / 37 » Metaprogramming Forced Moves |
83
Voted
ECAI
1998
Springer
15 years 6 months ago
1998
Springer
Knowledge about forced moves enables to select a small number of moves from the set of possible moves. It is very important in complex domains where search trees have a large branc...
112
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
617
Voted
Source Code
Active contours, or snakes, are computer-generated curves that move within images to find object boundaries. Its 3D version is often known as deformable models or active surfaces ...
577
Voted
Tutorial
Active contours, or snakes, are computer-generated curves that move within images to find object boundaries. Its 3D version is often known as deformable models or active surfaces ...
515
Voted
Dataset
Active contours, or snakes, are computer-generated curves that move within images to find object boundaries. Its 3D version is often known as deformable models or active surfaces ...