Sciweavers

8496 search results - page 422 / 1700
» Problem Solving and Complex Systems
Sort
View
IJAC
2007
117views more  IJAC 2007»
15 years 6 months ago
Equations in Free Inverse Monoids
It is known that the problem of determining consistency of a finite system of equations in a free group or a free monoid is decidable, but the corresponding problem for systems o...
Timothy Deis, John C. Meakin, Géraud S&eacu...
SSS
2009
Springer
107views Control Systems» more  SSS 2009»
16 years 1 months ago
A Self-stabilizing Algorithm for Graph Searching in Trees
Graph searching games have been extensively studied in the past years. The graph searching problem involves a team of searchers who are attempting to capture a fugitive moving alon...
Rodica Mihai, Morten Mjelde
MKM
2009
Springer
16 years 1 months ago
OpenMath in SCIEnce: SCSCP and POPCORN
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...
Peter Horn, Dan Roozemond
CORR
2004
Springer
180views Education» more  CORR 2004»
15 years 6 months ago
Self-Organized Stigmergic Document Maps: Environment as a Mechanism for Context Learning
Social insect societies and more specifically ant colonies, are distributed systems that, in spite of the simplicity of their individuals, present a highly structured social organi...
Vitorino Ramos, Juan J. Merelo Guervós
PDPTA
2000
15 years 8 months ago
A Reusable Software Framework for Distributed Decision-Making Protocols
Developers of programs for distributed systems spend considerable time designing solutions to various complex decision-making problems. The work described in this paper applies th...
Sudharshan Vazhkudai, H. Conrad Cunningham