Sciweavers

13090 search results - page 2469 / 2618
» Usable artificial intelligence
Sort
View
143
Voted
CIKM
2009
Springer
15 years 10 months ago
Multidimensional political spectrum identification and analysis
In this work, we show the importance of multidimensional opinion representation in the political context combining domain knowledge and results from principal component analysis. ...
Leilei Zhu, Prasenjit Mitra
KDD
2010
ACM
235views Data Mining» more  KDD 2010»
15 years 10 months ago
The topic-perspective model for social tagging systems
In this paper, we propose a new probabilistic generative model, called Topic-Perspective Model, for simulating the generation process of social annotations. Different from other g...
Caimei Lu, Xiaohua Hu, Xin Chen, Jung-ran Park, Ti...
FMCAD
2007
Springer
15 years 10 months ago
Boosting Verification by Automatic Tuning of Decision Procedures
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan ...
167
Voted
GECCO
2007
Springer
144views Optimization» more  GECCO 2007»
15 years 10 months ago
The reliability of confidence intervals for computational effort comparisons
This paper analyses the reliability of confidence intervals for Koza's computational effort statistic. First, we conclude that dependence between the observed minimum generat...
Matthew Walker, Howard Edwards, Chris H. Messom
GECCO
2007
Springer
215views Optimization» more  GECCO 2007»
15 years 10 months ago
Finding safety errors with ACO
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
Enrique Alba, J. Francisco Chicano
« Prev « First page 2469 / 2618 Last » Next »