6740 search results - page 200 / 1348 » Using Classification as a Programming Language |
110
click to vote
ECOOP
2007
Springer
15 years 5 months ago
2007
Springer
In this paper, we present our approach to a visual refactoring tool, the Type Access Analyzer (TAA), which uses program analysis to detect code smells and for suggesting and perfo...
102
click to vote
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
This paper compares the performance of the program evaluation phase of genetic programming using C and Common Lisp. A simple experiment is conducted, and the conclusion is that ge...
AAAI
2000
15 years 3 months ago
2000
This paper presents an implemented system, called LEONARD, that classifies simple spatial motion events, such as pick up and put down, from video input. Unlike previous systems th...
123
click to vote
CP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relations...