2517 search results - page 94 / 504 » Specifying Weak Sets |
163
click to vote
CIDR
2003
15 years 6 months ago
2003
The current software development process in common use within industry is inefficient, in that the time required to incorporate results from competitive, beta, and previous releas...
190
click to vote
WSC
1997
15 years 6 months ago
1997
In this paper we compare the average performance of Monte Carlo methods for global optimization with non-adaptive deterministic alternatives. We analyze the behavior of the algori...
151
click to vote
AAAI
1990
15 years 6 months ago
1990
We present a strategy for restricting the application of the inference rule paramodulation. The strategy applies to problems in first-order logic with equality and is designed to ...
163
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007. Topics c...
142
click to vote
DAM
2006
15 years 5 months ago
2006
We prove that a triangle-free graph G is a tolerance graph if and only if there exists a set of consecutively ordered stars that partition the edges of G. Since tolerance graphs a...