Sciweavers

780 search results - page 112 / 156
» Reasoning about sets using redescription mining
Sort
View
123
Voted
ACL
2003
15 years 2 months ago
Recognizing Expressions of Commonsense Psychology in English Text
Many applications of natural language processing technologies involve analyzing texts that concern the psychological states and processes of people, including their beliefs, goals...
Andrew Gordon, Abe Kazemzadeh, Anish Nair, Milena ...
95
Voted
AVI
2010
15 years 2 months ago
Implied dynamics in information visualization
Information visualization is a powerful method for understanding and working with data. However, we still have an incomplete understanding of how people use visualization to think...
Caroline Ziemkiewicz, Robert Kosara
BILDMED
2007
148views Algorithms» more  BILDMED 2007»
15 years 2 months ago
Complete Digital Iconic and Textual Annotation for Mammography
This work aims to propose an interactive method for a iconic and textual annotation of digital mammograms. The suggested annotation tool consists of a semantic network to represent...
Thomas Wittenberg, Matthias Elter, Rüdiger Sc...
ACTA
2010
191views more  ACTA 2010»
15 years 24 days ago
Automata-based verification of programs with tree updates
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
Peter Habermehl, Radu Iosif, Tomás Vojnar
104
Voted
BMCBI
2010
119views more  BMCBI 2010»
15 years 24 days ago
Functional classification of proteins based on projection of amino acid sequences: application for prediction of protein kinase
Background: The knowledge about proteins with specific interaction capacity to the protein partners is very important for the modeling of cell signaling networks. However, the exp...
Boris Sobolev, Dmitry Filimonov, Alexey Lagunin, A...