Sciweavers

4131 search results - page 212 / 827
» The Generalized Max-Controlled Set Problem
Sort
View
128
Voted
ICDM
2009
IEEE
141views Data Mining» more  ICDM 2009»
15 years 1 months ago
Ensemble-Vis: A Framework for the Statistical Visualization of Ensemble Data
Scientists increasingly use ensemble data sets to explore relationships present in dynamic systems. Ensemble data sets combine spatio-temporal simulation results generated using mu...
Kristin Potter, Andrew Wilson, Peer-Timo Bremer, D...
171
Voted
CORR
2011
Springer
197views Education» more  CORR 2011»
14 years 10 months ago
Query Expansion Based on Clustered Results
Query expansion is a functionality of search engines that suggests a set of related queries for a user-issued keyword query. Typical corpus-driven keyword query expansion approach...
Ziyang Liu, Sivaramakrishnan Natarajan, Yi Chen
136
Voted
WWW
2011
ACM
14 years 10 months ago
Analyzing and accelerating web access in a school in peri-urban India
While computers and Internet access have growing penetration amongst schools in the developing world, intermittent connectivity and limited bandwidth often prevent them from being...
Jay Chen, David Hutchful, William Thies, Lakshmina...
167
Voted
JMLR
2012
13 years 6 months ago
Domain Adaptation: A Small Sample Statistical Approach
We study the prevalent problem when a test distribution differs from the training distribution. We consider a setting where our training set consists of a small number of sample d...
Ruslan Salakhutdinov, Sham M. Kakade, Dean P. Fost...
132
Voted
ERSHOV
2009
Springer
15 years 10 months ago
Symbolic Bounded Conformance Checking of Model Programs
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
Margus Veanes, Nikolaj Bjørner