3068 search results - page 502 / 614 » Separation Results on the |
173
click to vote
MIDDLEWARE
2007
Springer
16 years 18 days ago
2007
Springer
Pervasive devices are becoming popular and smaller. Those mobile systems should be able to adapt to changing requirements and execution environments. But it requires the ability t...
191
click to vote
TCC
2007
Springer
16 years 17 days ago
2007
Springer
Assume that two distant parties, Alice and Bob, as well as an adversary, Eve, have access to (quantum) systems prepared jointly according to a tripartite state ρABE. In addition, ...
174
click to vote
CIBCB
2006
IEEE
16 years 16 days ago
2006
IEEE
— Successful biological image analysis usually requires satisfactory segmentations to identify regions of interest as an intermediate step. Here we present a novel graphical mode...
154
click to vote
ISSTA
2006
ACM
16 years 13 days ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
182
click to vote
CVPR
2005
IEEE
16 years 2 days ago
2005
IEEE
In this paper we develop a theory for characterizing how deformable a shape is. We define a term called “deformability index” for shapes. The deformability index is computed ...