4940 search results - page 226 / 988 » On the Complexity of Universal Programs |
152
click to vote
ECLIPSE
2006
ACM
16 years 14 days ago
2006
ACM
Refactoring tools allow programmers to change source code much quicker than before. However, the complexity of these changes cause versioning tools that operate at a file level t...
121
click to vote
SIGCSE
1998
ACM
15 years 10 months ago
1998
ACM
,’ Theideaof ahierarchicaldesignandintegrationof programming projectsin the computerscienceundergraduatecurriculum is proposedanddiscussed.Researchresultsin softwarereuseandobje...
174
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We call verification the process of finding the actual explanation of a given set of manifestations. We consider an abductive setting, in which explanations are sets of a...
216
click to vote
JMLR
2010
15 years 1 months ago
2010
Identifying a subset of features that preserves classification accuracy is a problem of growing importance, because of the increasing size and dimensionality of real-world data se...
203
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
The extraction of contours using deformable models, such as snakes, is a problem of great interest in computer vision, particular in areas of medical imaging and tracking. Snakes ...