2105 search results - page 272 / 421 » Decoupling in Object Orientation |
177
click to vote
INFOCOM
2011
IEEE
14 years 8 months ago
2011
IEEE
—In this paper we propose VIRO — a novel, virtual identifier (Id) routing paradigm for future networks. The objective is three-fold. First, VIRO directly addresses the challen...
128
click to vote
ICIP
2003
IEEE
16 years 6 months ago
2003
IEEE
Digital visual libraries have currently available huge amounts of content in unstructured, nonindexed form. Since these collections keep growing fast, retrieving specific images i...
140
click to vote
HVC
2005
Springer
15 years 10 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
160
Voted
ICINCO
2004
15 years 6 months ago
2004
: We present a vision-based robotic system which uses a combination of several active sensing strategies to grip a free-standing small target object with an initially unknown posit...
281
click to vote
STOC
2003
ACM
16 years 5 months ago
2003
ACM
In dynamic stabbing, we operate on a dynamic set of intervals. A stabbing query asks for an interval containing a given point. This basic problem encodes problems such as method l...