549 search results - page 78 / 110 » Verification condition generation for conditional informatio... |
133
Voted
JCM
2006
15 years 4 months ago
2006
Wireless networks are currently experiencing more overload situations than their wireline counterparts because of explosive mobile traffic growth, unpredictable traffic behavior, s...
121
click to vote
COGSCI
2004
15 years 3 months 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...
134
Voted
NLE
2007
15 years 3 months 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...
173
click to vote
TROB
2008
15 years 3 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 ...
151
click to vote
TNN
2010
14 years 10 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 ...