Sciweavers

408 search results - page 67 / 82
» Comparing two approaches for aligning representations of ana...
Sort
View
APN
2008
Springer
13 years 9 months ago
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
Kais Klai, Denis Poitrenaud
WSCG
2004
167views more  WSCG 2004»
13 years 8 months ago
Embedded Rate Scalable Wavelet-Based Image Coding Algorithm with RPSWS
This paper proposes an embedded rate scalable wavelet-based image coding algorithm. We introduce a simple and efficient approach for coding the positions and the signs of the wave...
Farag I. Y. Elnagahy, Boris Simák
AAAI
2011
12 years 7 months ago
Transfer Learning by Structural Analogy
Transfer learning allows knowledge to be extracted from auxiliary domains and be used to enhance learning in a target domain. For transfer learning to be successful, it is critica...
Hua-Yan Wang, Qiang Yang
GEOS
2007
Springer
14 years 1 months ago
Spatio-temporal Conceptual Schema Development for Wide-Area Sensor Networks
Abstract. A Wide-Area Sensor Network (WASN) is a collection of heterogeneous sensor networks and data repositories spread over a wide geographic area. The diversity of sensor types...
Mallikarjun Shankar, Alexandre Sorokine, Budhendra...
CVPR
2008
IEEE
14 years 9 months ago
Unifying discriminative visual codebook generation with classifier training for object category recognition
The idea of representing images using a bag of visual words is currently popular in object category recognition. Since this representation is typically constructed using unsupervi...
Liu Yang, Rong Jin, Rahul Sukthankar, Fréd&...