16218 search results - page 3046 / 3244 » Standards |
160
click to vote
AAAI
1994
15 years 7 months ago
1994
Two standard schemes for learning in classifier systems have been proposed in the literature: the bucket brigade algorithm (BBA) and the profit sharing plan (PSP). The BBA is a lo...
200
click to vote
AAAI
1996
15 years 7 months ago
1996
We introduce a predictive concept recognition methodology for description logics based on a new closed terminology assumption. During knowledge engineering, our system adopts the ...
145
click to vote
CASCON
1996
15 years 7 months ago
1996
The draft ofthe SQL/PSM standard de nes a procedural extension to the existing SQL2 language. An essential part of this extension is the support of procedural constructs such as B...
175
click to vote
DLOG
1996
15 years 7 months ago
1996
fe. Althoughthose legal concepts are abstract in the sense that there always exist possibilities to interpret them in various ways, lawyers seem to understand themas real things at...
220
click to vote
FORTE
1994
15 years 7 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...