Sciweavers

4949 search results - page 281 / 990
» Consistency and Set Intersection
Sort
View
IJCNN
2006
IEEE
16 years 24 days ago
Particle Swarm Optimization of Fuzzy ARTMAP Parameters
— In this paper a Particle Swarm Optimization (PSO)-based training strategy is introduced for fuzzy ARTMAP that minimizes generalization error while optimizing parameter values. ...
Eric Granger, Philippe Henniges, Luiz S. Oliveira,...
DALT
2005
Springer
16 years 9 days ago
Complete Axiomatizations of Finite Syntactic Epistemic States
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
Thomas Ågotnes, Michal Walicki
181
Voted
ECOOP
2010
Springer
15 years 11 months ago
A Type System for Data-Centric Synchronization
Data-centric synchronization groups fields of objects into atomic sets to indicate they must be updated atomically. Each atomic set has associated units of work, code fragments th...
Mandana Vaziri, Frank Tip, Julian Dolby, Christian...
ATAL
2006
Springer
15 years 10 months ago
Predicting people's bidding behavior in negotiation
This paper presents a statistical learning approach to predicting people's bidding behavior in negotiation. Our study consists of multiple 2-player negotiation scenarios wher...
Ya'akov Gal, Avi Pfeffer
172
Voted
CDC
2008
IEEE
119views Control Systems» more  CDC 2008»
15 years 8 months ago
Formal analysis of timed continuous Petri nets
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
Marius Kloetzer, Cristian Mahulea, Calin Belta, La...