Sciweavers

5681 search results - page 338 / 1137
» A Domain Model for eParticipation
Sort
View
AI
2001
Springer
15 years 11 months ago
Knowledge and Planning in an Action-Based Multi-agent Framework: A Case Study
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...
Bradley Bart, James P. Delgrande, Oliver Schulte
CL
2000
Springer
15 years 10 months ago
Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking
Boolean circuits offer a natural, structured, and compact representation of Boolean functions for many application domains. In this paper a tableau method for solving satisfiabilit...
Tommi A. Junttila, Ilkka Niemelä
VECPAR
2000
Springer
15 years 10 months ago
Finite/Discrete Element Analysis of Multi-fracture and Multi-contact Phenomena
A dynamic domain decomposition strategy is proposed for the effective parallel implementation of combined finite/discrete element approaches for problems involving multi-fracture a...
D. R. J. Owen, Y. T. Feng, Jianguo Yu, Djordje Per...
KBSE
1995
IEEE
15 years 10 months ago
Towards an Epistemology for Software Representations
The KBSE community is actively engaged in finding ways to represent software and the activities that relate to various stages in its lifecycle. While the wealth of modeling activ...
Christopher A. Welty
BMVC
2001
15 years 9 months ago
Comparison of 3D Algorithms for Non-rigid Motion and Correspondence Estimation
We address the problem of non-rigid motion and correspondence estimation in 3D images in the absense of prior domain information. A generic framework is utilized in which a soluti...
Pavel Laskov, Chandra Kambhamettu