Sciweavers

2438 search results - page 183 / 488
» Consistent Gradient Operators
Sort
View
104
Voted
CAISE
2003
Springer
15 years 7 months ago
Updateable Views for an XML Query Language
We present an approach to updateable XML views, which is based on the Stack-Based Approach to query languages. Its novelty consists in introducing procedures overloading generic up...
Hanna Kozankiewicz, Jacek Leszczylowski, Kazimierz...
112
Voted
EMSOFT
2003
Springer
15 years 7 months ago
HOKES/POKES: Light-Weight Resource Sharing
Abstract. In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sh...
Herbert Bos, Bart Samwel
117
Voted
SIGMOD
2010
ACM
277views Database» more  SIGMOD 2010»
15 years 7 months ago
Glacier: a query-to-hardware compiler
Field-programmable gate arrays (FPGAs) are a promising technology that can be used in database systems. In this demonstration we show Glacier, a library and a compiler that can be...
René Müller, Jens Teubner, Gustavo Alo...
PAAMS
2010
Springer
15 years 7 months ago
Enhanced Deliberation in BDI-Modelled Agents
Applications that operate in highly dynamic environments must deal with real-time changes of circumstances in order to be consistent and coherent. In this work, we propose an exten...
Fernando Koch, Frank Dignum
EPIA
2001
Springer
15 years 6 months ago
Permissive Belief Revision
Abstract. We propose a new operation of belief revision, called permissive belief revision. The underlying idea of permissive belief revision is to replace the beliefs that are aba...
Maria R. Cravo, João P. Cachopo, Ana C. Cac...