Sciweavers

BC
2008
92views more  BC 2008»
13 years 7 months ago
Attractor models of working memory and their modulation by reward
This work reports an empirical examination of two key issues in theoretical neuroscience: distractibility in the context of working memory (WM) and its reward dependence. While the...
Justin R. Chumbley, Raymond J. Dolan, Karl J. Fris...
APLAS
2010
ACM
13 years 7 months ago
Typechecking Higher-Order Security Libraries
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
Karthikeyan Bhargavan, Cédric Fournet, Nata...
ANLP
1997
73views more  ANLP 1997»
13 years 8 months ago
Software for Annotating Argument Structure
We present a tool developed for annotating corpora with argument structure representations. The presentation focuses on the architecture of the annotation scheme and a number of t...
Wojciech Skut, Brigitte Krenn, Thorsten Brants, Ha...
AAAI
2000
13 years 8 months ago
Using Prior Knowledge: Problems and Solutions
Encoding knowledge is time consuming and expensive. A possible solution to reduce the cost of developing a new knowledge base (KB) is to reuse existing knowledge. Previous work ad...
Vinay K. Chaudhri, Mark E. Stickel, Jér&oci...
NAACL
2003
13 years 8 months ago
TIPS: A Translingual Information Processing System
Searching online information is increasingly a daily activity for many people. The multilinguality of online content is also increasing (e.g. the proportion of English web users, ...
Yaser Al-Onaizan, Radu Florian, Martin Franz, Hany...
ISMB
2001
13 years 8 months ago
Molecular classification of multiple tumor types
Using gene expression data to classify tumor types is a very promising tool in cancer diagnosis. Previous works show several pairs of tumor types can be successfully distinguished...
Chen-Hsiang Yeang, Sridhar Ramaswamy, Pablo Tamayo...
AAAI
2006
13 years 8 months ago
Collective Construction Using Lego Robots
hibition: Extended Abstract Social insects, such as ants and termites, collectively build large and complex structures, with many individuals following simple rules and no centrali...
Crystal Schuil, Matthew Valente, Justin Werfel, Ra...
EMNLP
2008
13 years 8 months ago
Online Large-Margin Training of Syntactic and Structural Translation Features
Minimum-error-rate training (MERT) is a bottleneck for current development in statistical machine translation because it is limited in the number of weights it can reliably optimi...
David Chiang, Yuval Marton, Philip Resnik
LREC
2010
174views Education» more  LREC 2010»
13 years 8 months ago
Enhancing Language Resources with Maps
We will look at how maps can be integrated in research resources, such as language databases and language corpora. By using maps, search results can be illustrated in a way that i...
Janne Bondi Johannessen, Kristin Hagen, Anders N&o...
LREC
2010
176views Education» more  LREC 2010»
13 years 8 months ago
Extending BART to Provide a Coreference Resolution System for German
We present a flexible toolkit-based approach to automatic coreference resolution on German text. We start with our previous work aimed at reimplementing the system from Soon et al...
Samuel Broscheit, Simone Paolo Ponzetto, Yannick V...