1998 search results - page 300 / 400 » Complexity of the Cover Polynomial |
105
Voted
LOGCOM
2007
15 years 17 days ago
2007
Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨uner [5]. Their paper gives tableau-based decision procedur...
122
Voted
EC
2000
15 years 15 days ago
2000
To successfully apply evolutionary algorithms to the solution of increasingly complex problems, we must develop effective techniques for evolving solutions in the form of interact...
88
Voted
ENVSOFT
2000
15 years 15 days ago
2000
A model is presented for the analysis of bioremediation applied to an ex situ soil pile. The approach is based on the remediation of a pile containing the contaminated soil, which...
113
click to vote
TOPLAS
1998
15 years 10 days ago
1998
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
79
Voted
TASLP
2010
14 years 11 months ago
2010
—The digital emulation of analog audio effects and synthesis components, through the simulation of lumped circuit components has seen a large amount of activity in recent years; ...