Sciweavers

10995 search results - page 209 / 2199
» Positioning
Sort
View
TFM
2004
Springer
130views Formal Methods» more  TFM 2004»
15 years 11 months ago
Advertising Formal Methods and Organizing Their Teaching: Yes, but ...
This position paper aims to address most of the “challenges” suggested by the conference’s CFP plus a few others. The style is deliberately informal and colloquial, occasiona...
Dino Mandrioli
SPAA
2003
ACM
15 years 11 months ago
Optimal fault-tolerant linear arrays
This paper proves that for every positive integers n and k, we can explicitly construct a graph G with n+O(k) vertices and maximum degree 3, such that even after removing any k ve...
Toshinori Yamada, Shuichi Ueno
ECAI
2000
Springer
15 years 10 months ago
Background Knowledge, Indexing and Matching Interdependencies of Document Management and Ontology-Maintenance
This position paper presents an algorithm, which determines similarities between text documents. These text documents are indexed with keywords and further background knowledge-ter...
Andreas Faatz, Thomas Kamps, Ralf Steinmetz
COLT
1999
Springer
15 years 10 months ago
Learning Threshold Functions with Small Weights Using Membership Queries
We study the learnability of Threshold functions with bounded weights using membership queries only. We show that the class Ct of Threshold functions with positive integer weights...
Elias Abboud, Nader Agha, Nader H. Bshouty, Nizar ...
GECCO
1999
Springer
103views Optimization» more  GECCO 1999»
15 years 10 months ago
Homologous Crossover in Genetic Programming
In recent years, the genetic programming crossover operator has been criticized on both theoretical and empirical grounds. This paper introduces a new crossover operator for linea...
Frank D. Francone, Markus Conrads, Wolfgang Banzha...