5638 search results - page 998 / 1128 » On presence |
163
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
201
click to vote
WAC
2004
Springer
15 years 11 months ago
2004
Springer
The amount of information in the new emerging all-embracing pervasive environments will be enormous. Current Internet protocol conceived almost forty years ago, were never planned ...
184
click to vote
DSN
2003
IEEE
15 years 11 months ago
2003
IEEE
The presence of physical obstacles and radio interference results in the so called “shadow regions” in wireless networks. When a mobile station roams into a shadow region, it ...
142
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Due to the widespread appearance of filesharing systems like Napster, the peer-to-peer concept has recently become well known. So far, these file-sharing systems have been used fo...
150
click to vote
ICCV
2003
IEEE
15 years 11 months ago
2003
IEEE
The perception of transparent objects from images is known to be a very hard problem in vision. Given a single image, it is difficult to even detect the presence of transparent o...