1913 search results - page 130 / 383 » Group Input Machine |
164
click to vote
PTS
2000
15 years 6 months ago
2000
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...
161
click to vote
NN
2002
Springer
15 years 4 months ago
2002
Springer
The ability to grow extra nodes is a potentially useful facility for a self-organising neural network. A network that can add nodes into its map space can approximate the input sp...
138
click to vote
SEMCO
2008
IEEE
15 years 11 months ago
2008
IEEE
Geo-temporal criteria are important for filtering, grouping and prioritizing information resources. This presents techniques for extracting semantic geo-temporal information from ...
154
click to vote
ISVC
2005
Springer
15 years 10 months ago
2005
Springer
We describe a method for indexing and retrieving high-resolution image regions in large geospatial data libraries. An automated feature extraction method is used that generates a u...
121
Voted
AAECC
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. New algorithms are described and analysed for solving various problems associated with a large integer matrix: computing the Hermite form, computing a kernel basis, and s...