Sciweavers

12399 search results - page 2261 / 2480
» Deformable structural models
Sort
View
ANNPR
2008
Springer
15 years 6 months ago
Supervised Incremental Learning with the Fuzzy ARTMAP Neural Network
Abstract. Automatic pattern classifiers that allow for on-line incremental learning can adapt internal class models efficiently in response to new information without retraining fr...
Jean-François Connolly, Eric Granger, Rober...
ASPLOS
2008
ACM
15 years 6 months ago
Concurrency control with data coloring
Concurrency control is one of the main sources of error and complexity in shared memory parallel programming. While there are several techniques to handle concurrency control such...
Luis Ceze, Christoph von Praun, Calin Cascaval, Pa...
ATAL
2008
Springer
15 years 6 months ago
Goals in agent systems: a unifying framework
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
M. Birna van Riemsdijk, Mehdi Dastani, Michael Win...
ATAL
2008
Springer
15 years 6 months ago
Conviviality masks in multiagent systems
In this paper we study tools for conviviality to develop user-friendly multiagent systems. First, we show how to use the social-cognitive concept of conviviality in multiagent sys...
Patrice Caire, Serena Villata, Guido Boella, Leend...
ATVA
2008
Springer
143views Hardware» more  ATVA 2008»
15 years 6 months ago
Automating Algebraic Specifications of Non-freely Generated Data Types
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
« Prev « First page 2261 / 2480 Last » Next »