Sciweavers

2348 search results - page 424 / 470
» Stochastic Mapping Frameworks
Sort
View
ATVA
2011
Springer
213views Hardware» more  ATVA 2011»
13 years 9 months ago
Max and Sum Semantics for Alternating Weighted Automata
Abstract. In the traditional Boolean setting of formal verification, alternating automata are the key to many algorithms and tools. In this setting, the correspondence between dis...
Shaull Almagor, Orna Kupferman

Publication
363views
13 years 8 months ago
Detecting and Discriminating Behavioural Anomalies
This paper aims to address the problem of anomaly detection and discrimination in complex behaviours, where anomalies are subtle and difficult to detect owing to the complex tempor...
Chen Change Loy, Tao Xiang, Shaogang Gong
JMLR
2012
13 years 7 days ago
Structured Sparse Canonical Correlation Analysis
In this paper, we propose to apply sparse canonical correlation analysis (sparse CCA) to an important genome-wide association study problem, eQTL mapping. Existing sparse CCA mode...
Xi Chen, Han Liu, Jaime G. Carbonell
INFOCOM
2012
IEEE
13 years 6 days ago
ADAM: An adaptive beamforming system for multicasting in wireless LANs
—We present the design and implementation of ADAM, the first adaptive beamforming based multicast system and experimental framework for indoor wireless environments. ADAM addres...
Ehsan Aryafar, Mohammad Ali Khojastepour, Karthike...
CVPR
2012
IEEE
13 years 6 days ago
Weak attributes for large-scale image retrieval
Attribute-based query offers an intuitive way of image retrieval, in which users can describe the intended search targets with understandable attributes. In this paper, we develop...
Felix X. Yu, Rongrong Ji, Ming-Hen Tsai, Guangnan ...