8874 search results - page 82 / 1775 » A New Implementation of Automath |
126
Voted
ISPA
2005
Springer
15 years 9 months ago
2005
Springer
Since cognition could be treated as problem-solving issues based on dynamical knowledge transferring and propagation, the meta-learning and group learning are put forward in confor...
114
click to vote
ICRA
2003
IEEE
15 years 8 months ago
2003
IEEE
: When designing a mobile robotic team, an engineer is faced with many design choices. This paper discusses the design of a team consisting of two different models of robots with ...
95
Voted
APCCAS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper proposes a new region extraction algorithm based on cellular automaton operation, which only utilizes the region boundary information of the image. A simple pixel circu...
112
Voted
ERCIMDL
2000
Springer
15 years 7 months ago
2000
Springer
An Archival Repository reliably stores digital objects for long periods of time (decades or centuries). The archival nature of the system requires new techniques for storing, inde...
136
click to vote
FORTE
2004
15 years 5 months ago
2004
Passage time densities are useful performance measurements in stochastic systems. With them the modeller can extract probabilistic quality-of-service guarantees such as: the proba...