Sciweavers

3238 search results - page 88 / 648
» On the Computational Interpretation of Negation
Sort
View
IPPS
2002
IEEE
14 years 2 months ago
Monte Carlo Simulation of HIV-1 Evolution in Response to Selection by Antibodies
The persistence of human immunodeficiency virus type 1 (HIV-1) infection may be in part attributed to its ability to evolve to evade neutralizing antibody (NAb) surveillance. We h...
Jack da Silva, Austin L. Hughes
PODS
1991
ACM
98views Database» more  PODS 1991»
14 years 1 months ago
Minimum and Maximum Predicates in Logic Programming
A novel approach is proposed for ezpresaing and computing eficienily a large cla88 of problem8, including jinding the shortest path in a graph, that were previously considered imp...
Sumit Ganguly, Sergio Greco, Carlo Zaniolo
GG
2010
Springer
13 years 11 months ago
Local Confluence for Rules with Nested Application Conditions
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
Hartmut Ehrig, Annegret Habel, Leen Lambers, Ferna...
ICEIS
2002
IEEE
14 years 2 months ago
Thin Servers - An Architecture to Support Arbitrary Placement of Computation in the Internet
: The Internet is experiencing an overwhelming growth that will have a negative impact on its performance and quality of service. In this paper we describe a new architecture that ...
Juan Carlos Diaz y Carballo, Alan Dearle, Richard ...
ACL
2004
13 years 11 months ago
Predicting Student Emotions in Computer-Human Tutoring Dialogues
We examine the utility of speech and lexical features for predicting student emotions in computerhuman spoken tutoring dialogues. We first annotate student turns for negative, neu...
Diane J. Litman, Katherine Forbes-Riley