9119 search results - page 1587 / 1824 » A Simultaneous Search Problem |
127
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
115
click to vote
CSR
2007
Springer
15 years 10 months ago
2007
Springer
Consider a family of sets and a single set, called query set. How can one quickly find a member of the family which has a maximal intersection with the query set? Strict time cons...
134
Voted
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
Both reactive and deliberative qualities are essential for a good action selection mechanism. We present a model that embodies a hybrid of two very different neural network archit...
119
click to vote
ECOWS
2007
Springer
15 years 10 months ago
2007
Springer
The advent of Service Oriented Architecture makes services the most flexible, platform-independent choice for exposing and integrating business functionality across a network. Ho...
111
Voted
EPIA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents the development of a bivalve farmer agent interacting with a realistic ecological simulation system. The purpose of the farmer agent is to determine t...