877 search results - page 144 / 176 » How to Cover a Grammar |
100
Voted
JSYML
2007
15 years 12 days ago
2007
The paper studies how the localic notion of sublocale transfers to formal topology. For any formal topology (not necessarily with positivity predicate) we define a sublocale to b...
96
Voted
EOR
2000
15 years 10 days ago
2000
This contribution describes a general mixed-integer linear programming model based on a time-indexed formulation covering the relevant features required for the complete supply ch...
112
click to vote
LOGCOM
2002
15 years 5 days ago
2002
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
86
Voted
NN
1998
Springer
15 years 5 days ago
1998
Springer
The number of required hidden units is statistically estimated for feedforward neural networks that are constructed by adding hidden units one by one. The output error decreases w...
112
click to vote
TOPLAS
1998
15 years 4 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...