16091 search results - page 279 / 3219 » Solving |
168
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper addresses problems of inferring the locations of moving agents from combinatorial data extracted by robots that carry sensors. The agents move unpredictably and may ...
169
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
169
click to vote
ISQED
2008
IEEE
16 years 29 days ago
2008
IEEE
An efficient frequency-based clock analysis method: CSAV is proposed in this paper. It computes the circuit response by first solving the state equation in frequency domain, and...
152
click to vote
CEC
2007
IEEE
16 years 28 days ago
2007
IEEE
— We present an ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population computes t...
152
click to vote
COMPSAC
2007
IEEE
16 years 28 days ago
2007
IEEE
Design patterns encode proven solutions to recurring design problems. To use a design pattern properly, we need to 1) understand the design problem the pattern resolves, 2) recogn...