20059 search results - page 342 / 4012 » The Satellite Data Model |
194
click to vote
FUIN
2007
15 years 6 months ago
2007
Reachability analysis for timed automata using SAT-based methods was considered in many papers, occurring to be a very efficient model checking technique. In this paper we show ho...
188
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
In sensor networks, privacy can be addressed in different levels of the network stack and at different points of the information flow. This paper presents an application level sche...
225
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Current object class recognition systems typically target 2D bounding box localization, encouraged by benchmark data sets, such as Pascal VOC. While this seems suitable for the de...
186
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Incorporating background knowledge into data mining algorithms is an important but challenging problem. Current approaches in semi-supervised learning require explicit knowledge p...
158
click to vote
PPAM
2007
Springer
16 years 29 days ago
2007
Springer
There are several parallel programming models available for numerical computations at different levels of expressibility and ease of use. For the development of new domain speci...