17049 search results - page 305 / 3410 » cans 2007 |
165
click to vote
FORTE
1996
15 years 8 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
160
click to vote
IJCAI
1993
15 years 8 months ago
1993
This paper introduces GSSS (Genetic State-Space Search). The integration of two general search paradigms — genetic search and state-space-search provides a general framework whi...
189
Voted
NETWORKING
1993
15 years 8 months ago
1993
: We argue that technical features which make aspects of computer network visible can have ambivalent effects for the users. On the one hand they support cooperation among the user...
178
click to vote
NAACL
1994
15 years 8 months ago
1994
Improved acoustic modeling can significantly decrease the error rate in large-vocabulary speech recognition. Our approach to the problem is twofold. We first propose a scheme that...
161
click to vote
NIPS
1996
15 years 8 months ago
1996
It is shown that conventional computers can be exponentially faster than planar Hopfield networks: although there are planar Hopfield networks that take exponential time to conver...