10890 search results - page 201 / 2178 » Automatic Complexity Analysis |
188
click to vote
ICCAD
1992
IEEE
15 years 10 months ago
1992
IEEE
In this paper we describe combining a mesh analysis equation formulation technique with a preconditioned GORES matrix solution algorithm to accelerate the determination of inducta...
197
click to vote
CDC
2008
IEEE
16 years 29 days 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...
163
click to vote
TIME
2005
IEEE
16 years 1 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...
182
click to vote
IWCM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract Image sequence processing techniques are an essential tool for the experimental investigation of dynamical processes such as exchange, growth, and transport processes. The...
172
click to vote
ICTAI
2003
IEEE
15 years 11 months 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...