Sciweavers

1253 search results - page 35 / 251
» order 2000
Sort
View
KES
2000
Springer
14 years 6 days ago
Hierarchical growing cell structures: TreeGCS
We propose a hierarchical, unsupervised clustering algorithm (TreeGCS) based upon the Growing Cell Structure (GCS) neural network of Fritzke. Our algorithm improves an inconsisten...
Victoria J. Hodge, James Austin
ECOOPW
2000
Springer
14 years 29 days ago
New Issues in Object Interoperability
This report summarizes the presentations, discussions, and outcomes of the ECOOP’2000 Workshop on Object Interoperability, held in Sophia Antipolis, France, on Monday, June 12, 2...
Antonio Vallecillo, Juan Hernández Nú...
GLVLSI
2000
IEEE
87views VLSI» more  GLVLSI 2000»
14 years 1 months ago
Speeding up symbolic model checking by accelerating dynamic variable reordering
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
Christoph Meinel, Christian Stangier
ANLP
2000
59views more  ANLP 2000»
13 years 10 months ago
Encoding information on adjectives in a lexical-semantic net for computational applications
The goal of this paper is to describe how the EuroWordNet framework for representing lexical meaning is being modified within an Italian National Project in order to include infor...
Antonietta Alonge, Francesca Bertagna, Nicoletta C...
ANLP
2000
78views more  ANLP 2000»
13 years 10 months ago
Talk'N'Travel: A Conversational System For Air Travel Planning
We describe Talk'n'Travel, a spoken dialogue language system for making air travel plans over the telephone. Talk'n'Travel is a fully conversational, mixed-ini...
David Stallard