Sciweavers

98 search results - page 14 / 20
» An Effect System for Algebraic Effects and Handlers
Sort
View
104
Voted
SAC
2008
ACM
14 years 10 months ago
Spatial vagueness and imprecision in databases
The impossibility of current spatial database systems and GIS to handle spatial vagueness and imprecision has been recognized as an important problem in the spatial database domai...
Alejandro Pauly, Markus Schneider
IJCAI
1989
15 years 6 days ago
Selective Learning of Macro-operators with Perfect Causality
A macro-operator is an integrated operator consisting of plural primitive operators and enables a problem solver to solve more efficiently. However, if a learning system generates...
Seiji Yamada, Sabinro Tsuji
ICASSP
2011
IEEE
14 years 2 months ago
Beamforming design for multi-user two-way relaying with MIMO amplify and forward relays
Relays represent a promising approach to extend the cell coverage, combat the strong shadowing effects as well as guarantee the QoS in dense networks. Among the numerous existing ...
Jianshu Zhang, Florian Roemer, Martin Haardt
FORTE
2004
15 years 13 days ago
PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application
Abstract. We apply the PEPA nets modelling language to modelling a peer-topeer medical informatics application, the FieldCare PDA-based medical records system developed by SINTEF T...
Stephen Gilmore, Valentin Haenel, Jane Hillston, L...
TASE
2010
IEEE
14 years 5 months ago
Analytic Calculus of Response Time in Networked Automation Systems
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
Boussad Addad, Said Amari, Jean-Jacques Lesage