Sciweavers

3429 search results - page 438 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
RR
2009
Springer
15 years 9 months ago
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
Robert A. Kowalski, Fariba Sadri
CSFW
2010
IEEE
15 years 8 months ago
Vulnerability Bounds and Leakage Resilience of Blinded Cryptography under Timing Attacks
—We establish formal bounds for the number of min-entropy bits that can be extracted in a timing attack against a cryptosystem that is protected by blinding, the state-of-the art...
Boris Köpf, Geoffrey Smith
IJSWIS
2006
168views more  IJSWIS 2006»
15 years 4 months ago
Unraveling the Taste Fabric of Social Networks
Popular online social networks such as Friendster and MySpace do more than simply reveal the superficial structure of social connectedness--the rich meanings bottled within social...
Hugo Liu, Pattie Maes, Glorianna Davenport
SCESM
2006
ACM
239views Algorithms» more  SCESM 2006»
15 years 10 months ago
Aspect-oriented software design with a variant of UML/STD
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...
Shin Nakajima, Tetsuo Tamai
ACL
1993
15 years 5 months ago
The Effect of Establishing Coherence in Ellipsis and Anaphora Resolution
This paper presents a new model of anaphoric processing that utilizes the establishment of coherence relations between clauses in a discourse. We survey data that comprises a curr...
Andrew Kehler