Sciweavers

1769 search results - page 68 / 354
» An implementation of argument based discussion
Sort
View
ICSE
1994
IEEE-ACM
15 years 4 months ago
Storing and Retrieving Software Components: A Refinement Based System
Software libraries are repositories which contain software components; as such, they represent a precious resource for the software engineer. As software libraries grow in size, it...
Ali Mili, Rym Mili, Roland Mittermeir
AIPS
2008
15 years 2 months ago
A New Probabilistic Plan Recognition Algorithm Based on String Rewriting
This document formalizes and discusses the implementation of a new, more efficient probabilistic plan recognition algorithm called Yet Another Probabilistic Plan Recognizer, (Yapp...
Christopher W. Geib, John Maraist, Robert P. Goldm...
JOT
2006
106views more  JOT 2006»
14 years 11 months ago
ABS++: Assertion Based Subtyping in C++
For software engineering to meet today's challenges, well designed reuse and composition mechanisms must be established in both theory and practice. Starting roughly ten year...
Herbert Toth
ENTCS
2007
128views more  ENTCS 2007»
14 years 11 months ago
Rewriting-Based Access Control Policies
In this paper we propose a formalization of access control policies based on term rewriting. The state of the system to which policies are enforced is represented as an algebraic ...
Anderson Santana de Oliveira
ACL
2012
13 years 2 months ago
IRIS: a Chat-oriented Dialogue System based on the Vector Space Model
This system demonstration paper presents IRIS (Informal Response Interactive System), a chat-oriented dialogue system based on the vector space model framework. The system belongs...
Rafael E. Banchs, Haizhou Li