Sciweavers

1195 search results - page 72 / 239
» What, Where
Sort
View
TIME
1994
IEEE
14 years 1 months ago
The Persistence of Statistical Information
The frame problem was originally de ned in the context of the situation calculus. The problem also manifests itself in more sophisticated temporal logics that can represent interv...
Scott D. Goodwin, Eric Neufeld, André Trude...
SAS
1993
Springer
139views Formal Methods» more  SAS 1993»
14 years 29 days ago
Compiling FX on the CM-2
Type and effect systems provide a safe and effective means of programming high-performance parallel computers with a high-level language that integrates both functional and impe...
Jean-Pierre Talpin, Pierre Jouvelot
FTDCS
2004
IEEE
14 years 18 days ago
Friendly Object Tracking and Foreign Object Detection and Localization with an SDAC Wireless Sensor Network
This paper presents a proof-of-concept wireless sensor network for detecting and tracking friendly objects and detecting and localizing foreign objects. The network incorporates a...
Douglas Stark, Jesse Davis
EDBTW
2006
Springer
14 years 16 days ago
Conflict Resolution in Updates Through XML Views
Abstract. In this paper, we focus on B2B scenarios where XML views are extracted from relational databases and sent over the Web to another application that edits them and sends th...
André Prisco Vargas, Vanessa P. Braganholo,...
ESWS
2006
Springer
14 years 16 days ago
Toward Multi-viewpoint Reasoning with OWL Ontologies
Abstract. Despite of their advertisement as task independent representations, the reuse of ontologies in different contexts is difficult. An explanation for this is that when devel...
Heiner Stuckenschmidt