22128 search results - page 4267 / 4426 » Research in Structural Computing |
130
click to vote
ECTEL
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we present a proof of concept application of a technique that is designed explicitly for face to face collaboration software architectures. The objective is to minim...
153
click to vote
EVOW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Real-world optimization problems are often subject to uncertainties, which can arise regarding stochastic model parameters, objective functions and decision variables. Th...
126
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
Heuristic Algorithms (HA) are very widely used to tackle practical problems in operations research. They are simple, easy to understand and inspire confidence. Many of these HAs a...
150
click to vote
ICCD
2000
IEEE
15 years 7 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
162
click to vote
MATA
2000
Springer
15 years 7 months ago
2000
Springer
Extensive research on mobile agents has been rife with the growing interests in network computing. In this paper, we have discussed a mobile multi-agent-based framework to address ...