Sciweavers

126 search results - page 15 / 26
» Goal Change in the Situation Calculus
Sort
View
CORR
2010
Springer
93views Education» more  CORR 2010»
13 years 7 months ago
Support for Evolving Software Architectures in the ArchWare ADL
Software that cannot evolve is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...
Ronald Morrison, Graham N. C. Kirby, Dharini Balas...
JOIN
2007
91views more  JOIN 2007»
13 years 7 months ago
An Optimal Rebuilding Strategy for an Incremental Tree Problem
This paper is devoted to the following incremental problem. Initially, a graph and a distinguished subset of vertices, called initial group, are given. This group is connected by ...
Nicolas Thibault, Christian Laforest
CVPR
2006
IEEE
14 years 9 months ago
Automatic Cast Listing in Feature-Length Films with Anisotropic Manifold Space
Our goal is to automatically determine the cast of a feature-length film. This is challenging because the cast size is not known, with appearance changes of faces caused by extrin...
Ognjen Arandjelovic, Roberto Cipolla
ICCCI
2009
Springer
14 years 2 months ago
A Formal Model for Epistemic Interactions
The conceptual world of AI is inhabited by a number of epistemic puzzles whose role is to provide a test harness environment for various methods and algorithms. In our paper we foc...
Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robe...
SAINT
2007
IEEE
14 years 1 months ago
A HIP Based Network Mobility Protocol
– The rapid growth of IP-based mobile telecommunication technologies in the past few years has revealed situations where not only a single node but an entire network moves and ch...
Szabolcs Nováczki, László Bok...