Sciweavers

3250 search results - page 471 / 650
» Parameterized Learning Complexity
Sort
View
ACMSE
2006
ACM
15 years 9 months ago
A SAT-based solver for Q-ALL SAT
Although the satisfiability problem (SAT) is NP-complete, state-of-the-art solvers for SAT can solve instances that are considered to be very hard. Emerging applications demand t...
Ben Browning, Anja Remshagen
121
Voted
ECLIPSE
2006
ACM
15 years 9 months ago
FrUiT: IDE support for framework understanding
Frameworks provide means to reuse existing design and functionality, but first require developers to understand how to use them. Learning the correct usage of a framework can be ...
Marcel Bruch, Thorsten Schäfer, Mira Mezini
SIGECOM
2006
ACM
184views ECommerce» more  SIGECOM 2006»
15 years 9 months ago
Computing pure nash equilibria in graphical games via markov random fields
We present a reduction from graphical games to Markov random fields so that pure Nash equilibria in the former can be found by statistical inference on the latter. Our result, wh...
Constantinos Daskalakis, Christos H. Papadimitriou
ICDAR
2005
IEEE
15 years 9 months ago
Intelligent Document Processing
Digital repositories raise the need for an effective and efficient retrieval of the stored material. In this paper we propose the intensive application of intelligent techniques t...
Floriana Esposito, Stefano Ferilli, Teresa Maria A...
AIIA
2005
Springer
15 years 9 months ago
A Semantic Kernel to Exploit Linguistic Knowledge
Abstract. Improving accuracy in Information Retrieval tasks via semantic information is a complex problem characterized by three main aspects: the document representation model, th...
Roberto Basili, Marco Cammisa, Alessandro Moschitt...