28888 search results - page 357 / 5778 » Computability and complexity in analysis |
206
click to vote
CDC
2008
IEEE
16 years 1 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...
173
click to vote
TIME
2005
IEEE
16 years 10 days 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...
180
click to vote
ICTAI
2003
IEEE
16 years 1 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...
174
Voted
ECAL
2001
Springer
15 years 11 months 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...
174
click to vote
ICMLA
2007
15 years 8 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...