5015 search results - page 760 / 1003 » Model Checking a Path |
208
click to vote
ICMCS
2007
IEEE
16 years 28 days ago
2007
IEEE
In this paper, we propose an original framework for representing 2D and 3D face information using geodesic distances. This aims to define a representation enabling the direct com...
166
click to vote
ICRA
2007
IEEE
16 years 27 days ago
2007
IEEE
— In this paper, a strategy for controlled pushing is presented for microassembly of 4.5 μm polystyrene particles on a flat glass substrate using an atomic force microscope prob...
165
click to vote
IPPS
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper addresses a constrained two-terminal reliability measure referred to as Distance Reliability (DR) between the source node u and the destination node I with the shortest...
164
click to vote
MOBIQUITOUS
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract— In this paper we present the design and implementation of a space service that gives pervasive computing applications both a hierarchical and coordinate-based view of p...
168
click to vote
GLOBECOM
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper introduces a new game theoretic formulation for the design and routing of resilient and translucent networks. An integer linear programming (ILP) modeling is also presen...