Sciweavers

232 search results - page 31 / 47
» Competitiveness via consensus
Sort
View
IJCNN
2007
IEEE
14 years 2 months ago
A Constructive-Fuzzy System Modeling for Time Series Forecasting
— This paper suggests a constructive fuzzy system modeling for time series prediction. The model proposed is based on Takagi-Sugeno system and it comprises two phases. First, a f...
Ivette Luna, Secundino Soares, Rosangela Ballini
PADL
2007
Springer
14 years 1 months ago
Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang
Writing code that manipulates bit streams is a painful and error-prone programming task, often performed via bit twiddling techniques such as explicit bit shifts and bit masks in p...
Per Gustafsson, Konstantinos F. Sagonas
ASPDAC
2004
ACM
87views Hardware» more  ASPDAC 2004»
14 years 1 months ago
ShatterPB: symmetry-breaking for pseudo-Boolean formulas
Many important tasks in circuit design and verification can be performed in practice via reductions to Boolean Satisfiability (SAT), making SAT a fundamental EDA problem. However ...
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Kare...
ATAL
2001
Springer
14 years 8 days ago
Simple Negotiating Agents in Complex Games:
We present a simple model of distributed multi-agent multi-issued contract negotiation for open systems where interactions are competitive and information is private and not shared...
Peyman Faratin, Mark Klein, Hiroki Sayama, Yaneer ...
AAAI
2010
13 years 9 months ago
Stability and Incentive Compatibility in a Kernel-Based Combinatorial Auction
We present the design and analysis of an approximately incentive-compatible combinatorial auction. In just a single run, the auction is able to extract enough value information fr...
Sébastien Lahaie