Sciweavers

1636 search results - page 12 / 328
» Type-Theoretic Functional Semantics
Sort
View
BMCBI
2008
117views more  BMCBI 2008»
14 years 10 months ago
A probabilistic framework to predict protein function from interaction data integrated with semantic knowledge
Background: The functional characterization of newly discovered proteins has been a challenge in the post-genomic era. Protein-protein interactions provide insights into the funct...
Young-Rae Cho, Lei Shi, Murali Ramanathan, Aidong ...
IJCAI
2003
14 years 11 months ago
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class ¡£¢¤ (...
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Ni...
ENTCS
2007
101views more  ENTCS 2007»
14 years 9 months ago
Semantic Determinism and Functional Logic Program Properties
In modern functional logic languages like Curry or Toy, programs are possibly non-confluent and nonterminating rewrite systems, defining possibly non-deterministic non-strict fu...
José Miguel Cleva, Francisco Javier L&oacut...
AUSAI
2007
Springer
15 years 4 months ago
Not All Words Are Created Equal: Extracting Semantic Orientation as a Function of Adjective Relevance
Semantic orientation (SO) for texts is often determined on the basis of the positive or negative polarity, or sentiment, found in the text. Polarity is typically extracted using th...
Kimberly D. Voll, Maite Taboada
SYRCODIS
2008
127views Database» more  SYRCODIS 2008»
14 years 11 months ago
On the Semantics of Updates in a Functional Language
Issues related to updating data in native XML database systems are studied extensively nowadays. In this work we consider a problem of updating typed XML documents having their sc...
Pavel Loupal