696 search results - page 65 / 140 » Explaining abstract counterexamples |
133
click to vote
INFOCOM
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract- This paper describes an algorithm for optimally placing a given number of wavelength converters in All-Optical Networks(A0Ns) with arbitrary topologies. We first introduc...
102
click to vote
RSP
1999
IEEE
15 years 7 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
102
Voted
ILP
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. We consider the task of tagging Slovene words with morphosyntactic descriptions (MSDs). MSDs contain not only part-of-speech information but also attributes such as gende...
116
Voted
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
Abstract. Finding paths in high-dimensional gemetric spaces is a provably hard problem. Recently, a general randomized planning scheme has emerged as an e ective approach to solve ...
118
Voted
WADT
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...