Sciweavers

7075 search results - page 1296 / 1415
» Models and heterogeneous reasoning
Sort
View
OPODIS
2004
14 years 11 months ago
A Constraint-Based Formalism for Consistency in Replicated Systems
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
Marc Shapiro, Karthikeyan Bhargavan, Nishith Krish...
SPIESR
2001
160views Database» more  SPIESR 2001»
14 years 11 months ago
New frontiers for intelligent content-based retrieval
In this paper, we examine emerging frontiers in the evolution of content-based retrieval systems that rely on an intelligent infrastructure. Here, we refer to intelligence as the ...
Ana B. Benitez, John R. Smith
SSR
2001
146views more  SSR 2001»
14 years 11 months ago
Implementing product line variabilities
Software product lines have numerous members. Thus, a product line infrastructure must cover various systems. This is the significant difference to usual software systems and the ...
Cristina Gacek, Michalis Anastasopoules
IJCAI
2003
14 years 11 months ago
Exploring Unknown Environments with Mobile Robots using Coverage Maps
In this paper we introduce coverage maps as a new way of representing the environment of a mobile robot. Coverage maps store for each cell of a given grid a posterior about the am...
Cyrill Stachniss, Wolfram Burgard
INTERACT
2003
14 years 11 months ago
Enticing People to Interact with Large Public Displays in Public Spaces
: Large displays are increasingly being placed in public places to support community and social activities. However, a major problem that has been observed with this new form of pu...
Harry Brignull, Yvonne Rogers
« Prev « First page 1296 / 1415 Last » Next »