Sciweavers

2106 search results - page 191 / 422
» Specifying C concepts
Sort
View
CLIMA
2006
15 years 5 months ago
An Argumentation-Based Negotiation for Distributed Extended Logic Programs
Abstract. The paradigm of argumentation has been used in the literature to assign meaning to knowledge bases in general, and logic programs in particular. With this paradigm, rules...
Iara Carnevale de Almeida, José Júli...
DAGSTUHL
2006
15 years 5 months ago
DecSerFlow: Towards a Truly Declarative Service Flow Language
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...
Wil M. P. van der Aalst, Maja Pesic
BNCOD
2003
138views Database» more  BNCOD 2003»
15 years 5 months ago
Aggregate Table-Driven Querying via Navigation Ontologies in Distributed Statistical Databases
In this paper we describe a query paradigm based on ontologies, aggregate table-driven querying and expansion of QBE. It has two novel features: visually specifying aggregate table...
Yaxin Bi, David A. Bell, Joanne Lamb
ECIS
2003
15 years 5 months ago
Usability in social action: reinterpreting effectiveness efficiency and satisfaction
One of the most important qualities related to the use of information systems is arguably the usability achieved in actual use-situations. Three central criteria for usability as ...
Pär J. Ågerfalk, Owen Eriksson
IJCAI
2003
15 years 5 months ago
LADDER: A Language to Describe Drawing, Display, and Editing in Sketch Recognition
We have created LADDER, the first language to describe how sketched diagrams in a domain are drawn, displayed, and edited. The difficulty in creating such a language is choosing...
Tracy Hammond, Randall Davis