696 search results - page 102 / 140 » Explaining abstract counterexamples |
118
click to vote
CPM
1998
Springer
15 years 7 months ago
1998
Springer
d abstract) John Kececioglu and Dean Starrett Department of Computer Science The University of Arizona Tucson AZ 85721, USA A basic computational problem that arises in both the...
187
click to vote
SEAAI
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. In the past, some information technologies (IT) have quickly been adopted by the engineering practice while the implementation of others has been slower. In the paper, th...
124
click to vote
SIGGRAPH
1994
ACM
15 years 7 months ago
1994
ACM
strokes makes it particularly attractive in terms of storage size and transmission efficiency. Its efficient implementation is favourable for incorporation into windowing systems a...
104
click to vote
CEC
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract-- This study points out some weaknesses of existing Quantum-Inspired Evolutionary Algorithms (QEA) and explains in particular how hitchhiking phenomenons can slow down the...
132
click to vote
NLDB
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. An important software engineering artefact used by developers and maintainers to assist in software comprehension and maintenance is source code documentation. It provide...