Sciweavers

10615 search results - page 1266 / 2123
» Dynamic topic models
Sort
View
ACSAC
1999
IEEE
15 years 12 months ago
Security Policy Coordination for Heterogeneous Information Systems
Coordinating security policies in information enclaves is challenging due to their heterogeneity and autonomy. Administrators must reconcile the semantic diversity of data and sec...
John Hale, Pablo Galiasso, Mauricio Papa, Sujeet S...
ARTS
1999
Springer
15 years 12 months ago
Verifying Progress in Timed Systems
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
Stavros Tripakis
ERSHOV
1999
Springer
15 years 12 months ago
Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles
Abstract. The paper describes a problem of multi-agent path planning in environment with obstacles. Novel approach to multi-agent optimal path planning, using graph representation ...
Fedor A. Kolushev, Alexander A. Bogdanov
ICIP
1997
IEEE
15 years 12 months ago
An axiomatic approach to image interpolation
We discuss possible algorithms for interpolating data given in a set of curves and or points in the plane. We propose a set of basic assumptions to be satis ed by the interpolatio...
Vicent Caselles, Jean-Michel Morel, Catalina Sbert
KI
1997
Springer
15 years 11 months ago
Agents in Proactive Environments
Abstract. Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions....
Dov M. Gabbay, Rolf Nossum, Michael Thielscher
« Prev « First page 1266 / 2123 Last » Next »