5128 search results - page 364 / 1026 » When Abstraction Fails |
222
click to vote
ANTSW
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We consider the problem of finding and maintaining communication paths in wireless mobile ad hoc networks (MANET). We consider this problem as a bi-objective problem when...
170
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
Abstract. We consider a simple model of higher order, functional computations over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable e...
217
Voted
JAISE
2010
15 years 2 months ago
2010
Abstract. This paper presents an agent-based, high-level security system for user verification. The system verifies a user's identity by processing data from several low-lever...
223
click to vote
MVA
2010
15 years 2 months ago
2010
Abstract In this paper we compare the behavior of different interest points detectors and descriptors under the conditions needed to be used as landmarks in visionbased simultaneou...
186
Voted
SIAMCOMP
2010
15 years 2 months ago
2010
Abstract. In this paper we study variants of the non-preemptive parallel job scheduling problem where the number of machines is polynomially bounded in the number of jobs. For this...