Sciweavers

15351 search results - page 316 / 3071
» The information bottleneck method
Sort
View
SAS
2004
Springer
103views Formal Methods» more  SAS 2004»
14 years 4 months ago
Information Flow Analysis in Logical Form
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
Torben Amtoft, Anindya Banerjee
TSD
2004
Springer
14 years 4 months ago
Building a Dependency-Based Grammar for Parsing Informal Mathematical Discourse
Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded formal expressions. Little is known about the suitabil...
Magdalena Wolska, Ivana Kruijff-Korbayová
MICAI
2009
Springer
14 years 3 months ago
Using Nearest Neighbor Information to Improve Cross-Language Text Classification
Cross-language text classification (CLTC) aims to take advantage of existing training data from one language to construct a classifier for another language. In addition to the expe...
Adelina Escobar-Acevedo, Manuel Montes-y-Gó...
FQAS
2006
Springer
136views Database» more  FQAS 2006»
14 years 2 months ago
Robust Query Processing for Personalized Information Access on the Semantic Web
Abstract. Research in Cooperative Query answering is triggered by the observation that users are often not able to correctly formulate queries to databases that return the intended...
Peter Dolog, Heiner Stuckenschmidt, Holger Wache
SEC
2008
14 years 5 days ago
Anomaly Detection with Diagnosis in Diversified Systems using Information Flow Graphs
Design diversity is a well-known method to ensure fault tolerance. Such a method has also been applied successfully in various projects to provide intrusion detection and tolerance...
Frédéric Majorczyk, Eric Totel, Ludo...