Sciweavers

1532 search results - page 93 / 307
» Connection Relations in Mereotopology
Sort
View
ISNN
2004
Springer
15 years 3 months ago
Evolving Flexible Neural Networks Using Ant Programming and PSO Algorithm
A flexible neural network (FNN) is a multilayer feedforward neural network with the characteristics of: (1) overlayer connections; (2) variable activation functions for different...
Yuehui Chen, Bo Yang, Jiwen Dong
ICDAR
2003
IEEE
15 years 3 months ago
Word Searching in CCITT Group 4 Compressed Document Images
In this paper, we present a compressed pattern matching method for searching user queried words in the CCITT Group 4 compressed document images, without decompressing. The feature...
Yue Lu, Chew Lim Tan
ICRA
2002
IEEE
98views Robotics» more  ICRA 2002»
15 years 3 months ago
An Efficient Coordination Architecture for Autonomous Robot Teams
Most physically implemented multi-robot controllers are based on extensions of behavior-based systems. While efficient, such techniques suffer from weak representational power. Sy...
Aaron Khoo, Ian Douglas Horswill
TPHOL
1996
IEEE
15 years 2 months ago
Importing Mathematics from HOL into Nuprl
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...
Douglas J. Howe
STOC
1993
ACM
109views Algorithms» more  STOC 1993»
15 years 2 months ago
Routing permutations on graphs via matchings
We consider a class of routing problems on connected graphs G. Initially, each vertex v of G is occupied by a “pebble” which has a unique destination π(v) in G (so that π is...
Noga Alon, Fan R. K. Chung, Ronald L. Graham