28888 search results - page 357 / 5778 » Computability and complexity in analysis |
237
click to vote
CDC
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract— A geometric optimization based approach to deploy a mobile sensor network for the purpose of detecting and capturing mobile targets in the plane is presented in [1]. Th...
190
click to vote
TIME
2005
IEEE
16 years 1 months ago
2005
IEEE
A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...
193
click to vote
ICTAI
2003
IEEE
16 years 27 days ago
2003
IEEE
Coalition formation has become a key topic in multiagent research. In this paper, we propose a preliminary classification for the coalition formation problem based on three drivin...
200
click to vote
ECAL
2001
Springer
16 years 3 days ago
2001
Springer
In this paper a formal approach to construction of a similarity measure for complex creatures is presented. The simulation model is described, and a Framsticks agent is expressed i...
204
click to vote
ICMLA
2007
15 years 9 months ago
2007
Our research addresses the issue of developing knowledge-based agents that capture and use the problem solving knowledge of subject matter experts from diverse application domains...