17366 search results - page 3310 / 3474 » New Revision Algorithms |
152
click to vote
SPIN
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
159
click to vote
SSD
2009
Springer
15 years 12 months ago
2009
Springer
Outsourcing data to third party data providers is becoming a common practice for data owners to avoid the cost of managing and maintaining databases. Meanwhile, due to the populari...
160
click to vote
EICS
2009
ACM
15 years 12 months ago
2009
ACM
This paper evaluates the input performance capabilities of Velocity Threshold (I-VT) and Kalman Filter (I-KF) eye movement detection models when employed for eye-gaze-guided inter...
166
click to vote
IWCMC
2009
ACM
15 years 12 months ago
2009
ACM
Multi-hop relaying will play a central role in next generation wireless systems. In this paper a novel relaying strategy that uses multiple-input multiple-output (MIMO) relays in ...
171
click to vote
MM
2009
ACM
15 years 12 months ago
2009
ACM
In this work, we investigate how to automatically reassign the manually annotated labels at the image-level to those contextually derived semantic regions. First, we propose a bi-...