549 search results - page 78 / 110 » Verification condition generation for conditional informatio... |
100
click to vote
JCM
2006
15 years 15 days ago
2006
Wireless networks are currently experiencing more overload situations than their wireline counterparts because of explosive mobile traffic growth, unpredictable traffic behavior, s...
91
Voted
COGSCI
2004
15 years 11 days ago
2004
In order to understand ongoing activity, observers segment it into meaningful temporal parts. Segmentation can be based on bottom-up processing of distinctive sensory characterist...
104
click to vote
NLE
2007
15 years 1 days ago
2007
We address the problem of improving the efficiency of natural language text input under degraded conditions (for instance, on mobile computing devices or by disabled users), by ta...
127
Voted
TROB
2008
14 years 12 months ago
2008
In this paper, we describe a system that can carry4 out simultaneous localization and mapping (SLAM) in large in-5 door and outdoor environments using a stereo pair moving with 66 ...
121
Voted
TNN
2010
14 years 7 months ago
2010
Abstract--In experimental and observational sciences, detecting atypical, peculiar data from large sets of measurements has the potential of highlighting candidates of interesting ...