2440 search results - page 273 / 488 » Abstraction Learning |
119
Voted
CAV
1998
Springer
15 years 5 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
IWANN
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. A spiking neural network modeling the cerebellum is presented. The model, consisting of more than 2000 conductance-based neurons and more than 50 000 synapses, runs in re...
105
Voted
GECCO
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Most modern real-time strategy computer games have a sophisticated but fixed ‘AI’ component that controls the computer’s actions. Once the user has learned how suc...
120
Voted
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Object viewpoint classification aims at predicting an approximate 3D pose of objects in a scene and is receiving increasing attention. State-of-the-art approaches to view...
149
Voted
MLMTA
2003
15 years 2 months ago
2003
Abstract— The prediction of the future states in MultiAgent Systems has been a challenging problem since the begining of MAS. Robotic soccer is a MAS environment in which the pre...