Sciweavers

608 search results - page 78 / 122
» Random Systems with Complete Connections
Sort
View
FROCOS
2000
Springer
15 years 1 months ago
Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic
We define a sound and complete logic, called FO , which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of i...
Paqui Lucio
GECCO
2005
Springer
162views Optimization» more  GECCO 2005»
15 years 3 months ago
Evolution of Voronoi based fuzzy recurrent controllers
A fuzzy controller is usually designed by formulating the knowledge of a human expert into a set of linguistic variables and fuzzy rules. Among the most successful methods to auto...
Carlos Kavka, Patricia Roggero, Marc Schoenauer
MOBICOM
1999
ACM
15 years 2 months ago
Next Century Challenges: Mobile Networking for "Smart Dust"
Large-scale networks of wireless sensors are becoming an active topic of research. Advances in hardware technology and engineering design have led to dramatic reductions in size, ...
Joseph M. Kahn, Randy H. Katz, Kristofer S. J. Pis...
BIRTHDAY
2009
Springer
15 years 4 months ago
Asynchronous Congestion Games
We introduce a new class of games, asynchronous congestion games (ACGs). In an ACG, each player has a task that can be carried out by any element of a set of resources, and each r...
Michal Penn, Maria Polukarov, Moshe Tennenholtz
IWANN
2009
Springer
15 years 4 months ago
Identification of Chemical Entities in Patent Documents
Biomedical literature is an important source of information for chemical compounds. However, different representations and nomenclatures for chemical entities exist, which makes th...
Tiago Grego, Piotr Pezik, Francisco M. Couto, Diet...