Sciweavers

7342 search results - page 1047 / 1469
» Optimal Language Learning
Sort
View
PASTE
2005
ACM
15 years 10 months ago
String analysis for x86 binaries
Information about string values at key points in a program can help program understanding, reverse engineering, and forensics. We present a static-analysis technique for recoverin...
Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh
CAV
2005
Springer
99views Hardware» more  CAV 2005»
15 years 10 months ago
Automated Assume-Guarantee Reasoning for Simulation Conformance
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Pras...
ICALP
2005
Springer
15 years 10 months ago
Hierarchical Group Signatures
We introduce the notion of hierarchical group signatures. This is a proper generalization of group signatures, which allows multiple group managers organized in a tree with the si...
Mårten Trolin, Douglas Wikström
MLMI
2005
Springer
15 years 10 months ago
A Multimodal Discourse Ontology for Meeting Understanding
In this paper, we present a multimodal discourse ontology that serves as a knowledge representation and annotation framework for the discourse understanding component of an artifi...
John Niekrasz, Matthew Purver
SIGIR
2004
ACM
15 years 10 months ago
A two-stage mixture model for pseudo feedback
Pseudo feedback is a commonly used technique to improve information retrieval performance. It assumes a few top-ranked documents to be relevant, and learns from them to improve th...
Tao Tao, ChengXiang Zhai
« Prev « First page 1047 / 1469 Last » Next »