Sciweavers

1769 search results - page 46 / 354
» An implementation of argument based discussion
Sort
View
PPDP
2010
Springer
13 years 7 months ago
Tabling for transaction logic
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
Paul Fodor, Michael Kifer
ESCIENCE
2005
IEEE
14 years 3 months ago
Grid-Based PDE.Mart: A PDE-Oriented PSE for Grid Computing
We investigate the migration of network-based PDE.Mart to the grid platform. The grid architecture of PDE.Mart is presented. Grid-based PDE.Mart is a service-oriented system, and ...
Guoyong Mao, Mo Mu, Wu Zhang, Xiaobin Zhang
CORR
2010
Springer
116views Education» more  CORR 2010»
13 years 10 months ago
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
Musab AlTurki, José Meseguer
JAMIA
2010
115views more  JAMIA 2010»
13 years 4 months ago
The population health record: concepts, definition, design, and implementation
In 1997, the American Medical Informatics Association proposed a US information strategy that included a population health record (PopHR). Despite subsequent progress on the conce...
Daniel J. Friedman, R. Gibson Parrish II
ATAL
2005
Springer
14 years 3 months ago
Experiences with the design and implementation of an agent-based autonomous UAV controller
This paper reports experiences and outcomes of designing and developing an agent–based, autonomous mission control system for an unmanned aerial vehicle (UAV). Most UAVs are not...
Samin Karim, Clinton Heinze