4103 search results - page 566 / 821 » Some results on the Collatz problem |
162
click to vote
ICSE
1997
IEEE-ACM
15 years 10 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
160
click to vote
ICSM
1995
IEEE
15 years 10 months ago
1995
IEEE
A typical approach to software maintenance is analyzing just the source code, applying some patches, releasing the new version, and then updating the documentation. This quick-fix...
220
click to vote
CVPR
2009
IEEE
15 years 9 months ago
2009
IEEE
Segmentation of document images remains a challenging vision problem. Although document images have a structured layout, capturing enough of it for segmentation can be difficult....
226
click to vote
IPAS
2010
15 years 9 months ago
2010
View plus depth` is a 3D video representation where a single color video channel is augmented with per-pixel depth information in the form of gray-scale video sequence. This repre...
172
click to vote
AAAI
2008
15 years 8 months ago
2008
Partially Observable Markov Decision Processes have been studied widely as a model for decision making under uncertainty, and a number of methods have been developed to find the s...