Sciweavers

2111 search results - page 304 / 423
» Understanding the Yarowsky Algorithm
Sort
View
AAAI
2008
15 years 8 months ago
Clause Learning Can Effectively P-Simulate General Propositional Resolution
Currently, the most effective complete SAT solvers are based on the DPLL algorithm augmented by clause learning. These solvers can handle many real-world problems from application...
Philipp Hertel, Fahiem Bacchus, Toniann Pitassi, A...
EXACT
2007
15 years 8 months ago
An MDP Approach for Explanation Generation
In order to assist a power plant operator to face unusual situations, we have developed an intelligent assistant that explains the suggested commands generated by an MDP-based pla...
Francisco Elizalde, Luis Enrique Sucar, Alberto Re...
AISC
2008
Springer
15 years 8 months ago
Notations for Living Mathematical Documents
Abstract. Notations are central for understanding mathematical discourse. Readers would like to read notations that transport the meaning well and prefer notations that are familia...
Michael Kohlhase, Christine Müller, Florian R...
ATAL
2008
Springer
15 years 8 months ago
So tell me what happened: turning agent-based interactive drama into comics
As virtual characters become more autonomous, their use in interactive drama is growing. By creating interesting and well authored personalities, these characters are able to inte...
Tiago Alves, Ana Simões, Rui Figueiredo, Ma...
BIBM
2008
IEEE
106views Bioinformatics» more  BIBM 2008»
15 years 8 months ago
Uncovering Genomic Reassortments among Influenza Strains by Enumerating Maximal Bicliques
The evolutionary histories of viral genomes have received significant recent attention due to their importance in understanding virulence and the corresponding ramifications to pu...
Niranjan Nagarajan, Carl Kingsford