1551 search results - page 223 / 311 » How Typical is the |
240
click to vote
ICONFERENCE
2012
13 years 12 months ago
2012
When people use visualizations of conversational archives, they typically reflect on particular events, rather than patterns of activity over time. We explore whether this is a fu...
168
click to vote
LPAR
2012
Springer
13 years 12 months ago
2012
Springer
E-matching is the most commonly used technique to handle quantifiers in SMT solvers. It works by identifying characteristic subexpressions of quantified formulae, named triggers,...
173
click to vote
WONS
2012
IEEE
13 years 12 months ago
2012
IEEE
—The recent arrival of 6LoWPAN, an IPv6 variant for low-power wireless devices, allows for the development of IPbased applications for low-power wireless networks like sensor net...
180
click to vote
SIGIR
2012
ACM
13 years 6 months ago
2012
ACM
In crowdsourced relevance judging, each crowd worker typically judges only a small number of examples, yielding a sparse and imbalanced set of judgments in which relatively few wo...
166
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
Pictorial Structures (PS) define a probabilistic model of 2D articulated objects in images. Typical PS models assume an object can be represented by a set of rigid parts connecte...