13336 search results - page 2525 / 2668 » Computer Vision: Algorithms and Applications |
152
click to vote
TSE
2010
14 years 10 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
209
click to vote
TSMC
2010
14 years 10 months ago
2010
Abstract--With the ever-increasing wireless/wired data applications recently, considerable efforts have focused on the design of distributed explicit rate flow control schemes for ...
259
click to vote
CONIELECOMP
2011
IEEE
14 years 7 months ago
2011
IEEE
—We propose a new multi-hop routing protocol for wireless sensor networks, suited for monitoring and control applications. The aim of this research is to adapt flat and hierarch...
236
click to vote
FCCM
2011
IEEE
14 years 7 months ago
2011
IEEE
—String matching is a ubiquitous problem that arises in a wide range of applications in computing, e.g., packet routing, intrusion detection, web querying, and genome analysis. D...
160
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper considers the problem of construction of low-pass filters on the unit sphere, which has wide ranging applications in the processing of signals on the unit sphere. We p...