854 search results - page 91 / 171 » Addressing Dynamic Issues of Program Model Checking |
133
Voted
CIC
2004
15 years 4 months ago
2004
Overlay topologies are now popular with many emerging peer-to-peer (P2P) systems, to efficiently locate and retrieve information. In contrast, the focus of this work is to use ove...
111
Voted
PERCOM
2006
ACM
16 years 2 months ago
2006
ACM
Application autonomy can reduce interactions with users, ease the use of the system, and decrease user distraction. On the other hand, users may feel loss of control over their ap...
112
Voted
COLING
2010
14 years 9 months ago
2010
During face-to-face conversation, people naturally integrate speech, gestures and higher level language interpretations to predict the right time to start talking or to give backc...
142
click to vote
MOBIWAC
2006
ACM
15 years 8 months ago
2006
ACM
In this work we present a calibration-free system for locating wireless local area network devices, based on the radio frequency characteristics of such networks. Calibration proc...
116
Voted
BMCBI
2004
15 years 2 months ago
2004
Background: Two of the mostly unsolved but increasingly urgent problems for modern biologists are a) to quickly and easily analyse protein structures and b) to comprehensively min...