38890 search results - page 76 / 7778 » Will It Work |
125
click to vote
WACC
1999
ACM
15 years 8 months ago
1999
ACM
In recent years much attention has been paid to networkbased, distributed environments like text-based MUDs and MOOs for supporting collaborative work. Such environments offer a s...
157
click to vote
APN
1994
Springer
15 years 8 months ago
1994
Springer
In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. S...
129
click to vote
ASPDAC
1998
ACM
15 years 8 months ago
1998
ACM
Binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verification. Efficient BDD construction techniques become more important as the complexity of proto...
133
click to vote
GFKL
2006
Springer
15 years 8 months ago
2006
Springer
Stemming algorithms find canonical forms for inflected words, e. g. for declined nouns or conjugated verbs. Since such a unification of words with respect to gender, number, time, ...
111
click to vote
ACE
2004
15 years 6 months ago
2004
Epistemological beliefs are those concerning the nature of knowledge and learning: beliefs about how individuals come to know, and how knowledge is constructed. There is growing e...