4743 search results - page 472 / 949 » The PlusCal Algorithm Language |
113
Voted
COLING
2000
15 years 4 months ago
2000
In this paper, we present a solution to the problem of generating Japanese numeral classifiers using semantic classes from an ontology. Most nouns must take a numeral classifier w...
124
Voted
ICONIP
1998
15 years 4 months ago
1998
YANNS (Yet Another Neural Network Simulator) is a new object-oriented neural network simulator for feedforward networks as well as general recurrent networks. The goal of this pro...
119
Voted
AAAI
1997
15 years 4 months ago
1997
In order to generate plans for agents with multiple actuators or agent teams, we must be able to represent and plan using concurrent actions with interacting effects. Historically...
108
Voted
IWFM
1998
15 years 4 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...
118
click to vote
PDPTA
2000
15 years 4 months ago
2000
This paper presents a survey of techniques to implement multiplications by constants on FPGAs. It shows in particular that a simple and well-known technique, canonical signed recod...