Sciweavers

2813 search results - page 381 / 563
» Formalizing Architectural Connection
Sort
View
ECAI
2004
Springer
15 years 12 months ago
The KGP Model of Agency
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, ...
IFL
2004
Springer
138views Formal Methods» more  IFL 2004»
15 years 12 months ago
A Rational Deconstruction of Landin's SECD Machine
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
Olivier Danvy
MATES
2004
Springer
15 years 11 months ago
Developing Tools for Agent-Oriented Visual Modeling
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put i...
Anna Perini, Angelo Susi
AGP
2003
IEEE
15 years 11 months ago
Reasoning about the Semantic Web using Answer Set Programming
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
Giovambattista Ianni, Francesco Calimeri, Vincenzi...
3DPVT
2002
IEEE
172views Visualization» more  3DPVT 2002»
15 years 11 months ago
3D objects visualization for remote interactive medical applications
3D medical images produced in health centers represent tremendous amounts of data spread over different places. Automatic processing of these data often allow quantitative and rep...
Johan Montagnat, Eduardo Davila, Isabelle E. Magni...