Sciweavers

138 search results - page 9 / 28
» An Unsupervised Approach for Semantic Relation Interpretatio...
Sort
View
91
Voted
SLOGICA
2008
135views more  SLOGICA 2008»
14 years 11 months ago
A Way to Interpret Lukasiewicz Logic and Basic Logic
Fuzzy logics are in most cases based on an ad-hoc decision about the interpretation of the conjunction. If they are useful or not can typically be found out only by testing them wi...
Thomas Vetterlein
ENTCS
2006
146views more  ENTCS 2006»
14 years 11 months ago
Relating State-Based and Process-Based Concurrency through Linear Logic
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
Iliano Cervesato, Andre Scedrov
97
Voted
FOSSACS
2009
Springer
15 years 6 months ago
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
Lars Birkedal, Kristian Støvring, Jacob Tha...
80
Voted
DEXA
2008
Springer
111views Database» more  DEXA 2008»
15 years 1 months ago
Translating SQL Applications to the Semantic Web
Abstract. The content of most Web pages is dynamically derived from an underlying relational database. Thus, the success of the Semantic Web hinges on enabling access to relational...
Syed Hamid Tirmizi, Juan Sequeda, Daniel P. Mirank...
BMCBI
2006
149views more  BMCBI 2006»
14 years 11 months ago
HeatMapper: powerful combined visualization of gene expression profile correlations, genotypes, phenotypes and sample characteri
Background: Accurate interpretation of data obtained by unsupervised analysis of large scale expression profiling studies is currently frequently performed by visually combining s...
Roel G. W. Verhaak, Mathijs A. Sanders, Maarten A....