Sciweavers

2750 search results - page 370 / 550
» The complexity of learning SUBSEQ(A)
Sort
View
ACMSE
2006
ACM
16 years 13 days 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
ECLIPSE
2006
ACM
16 years 13 days 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»
16 years 12 days 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
16 years 2 days 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
16 years 15 hour 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...