Sciweavers

7215 search results - page 1152 / 1443
» On the Consistency of Ranking Algorithms
Sort
View
CIKM
2009
Springer
16 years 1 months ago
Identifying comparable entities on the web
Web search engines are often presented with user queries that involve comparisons of real-world entities. Thus far, this interaction has typically been captured by users submittin...
Alpa Jain, Patrick Pantel
CIVR
2009
Springer
151views Image Analysis» more  CIVR 2009»
16 years 1 months ago
Reusing annotation labor for concept selection
Describing shots through the occurrence of semantic concepts is the first step towards modeling the content of a video semantically. An important challenge is to automatically se...
Robin Aly, Djoerd Hiemstra, Arjen P. de Vries
COCOON
2009
Springer
16 years 1 months ago
On the Readability of Monotone Boolean Formulae
Golumbic et al. [Discrete Applied Mathematics 154(2006) 1465-1477] defined the readability of a monotone Boolean function f to be the minimum integer k such that there exists an ...
Khaled M. Elbassioni, Kazuhisa Makino, Imran Rauf
CPM
2009
Springer
127views Combinatorics» more  CPM 2009»
16 years 1 months ago
Deconstructing Intractability: A Case Study for Interval Constrained Coloring
The NP-hard Interval Constrained Coloring problem appears in the interpretation of experimental data in biochemistry dealing with protein fragments. Given a set of m integer interv...
Christian Komusiewicz, Rolf Niedermeier, Johannes ...
FMCAD
2009
Springer
16 years 1 months ago
Decision diagrams for linear arithmetic
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
Sagar Chaki, Arie Gurfinkel, Ofer Strichman
« Prev « First page 1152 / 1443 Last » Next »