6897 search results - page 701 / 1380 » Parallelization of Modular Algorithms |
175
click to vote
INFORMATICALT
2008
15 years 7 months ago
2008
Mammalian brains consisting of up to 1011 neurons belong to group of the most complex systems in the Universe. For years they have been one of the hardest objects of simulation. Th...
190
click to vote
NJC
2006
15 years 7 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
207
click to vote
ASE
2002
15 years 7 months ago
2002
The cost of maintaining a software system over a long period of time far exceeds its initial development cost. Much of the maintenance cost is attributed to the time required by ne...
175
click to vote
AI
1999
Springer
15 years 6 months ago
1999
Springer
This article describes the software architecture of an autonomous, interactive tour-guide robot. It presents a modular, distributed software architecture, which integrates localiz...
189
click to vote
RAS
2007
15 years 6 months ago
2007
In a multi-robotic system, robots interact with each other in a dynamically changing environment. The robots need to be intelligent both at the individual and group levels. In thi...