Sciweavers

1054 search results - page 137 / 211
» Determining Computing Science's Role
Sort
View
LICS
2005
IEEE
15 years 9 months ago
Modal Characterisation Theorems over Special Classes of Frames
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemâ€...
Anuj Dawar, Martin Otto
127
Voted
SENSYS
2003
ACM
15 years 8 months ago
Tracking a moving object with a binary sensor network
In this paper we examine the role of very simple and noisy sensors for the tracking problem. We propose a binary sensor model, where each sensor’s value is converted reliably to...
Javed A. Aslam, Zack J. Butler, Florin Constantin,...
CSE
2009
IEEE
15 years 8 months ago
Self-Organized Data-Energy-Aware Clustering and Routing for Wireless Sensor Networks
—In this paper we propose a clustering and routing scheme for wireless sensor networks based on a self-organizing approach. The aim of this approach is for nodes to perform an in...
Ehssan Sakhaee, Naoki Wakamiya, Masayuki Murata
115
Voted
ICALP
1997
Springer
15 years 7 months ago
The Theory of Vaccines
Despite the major role that modularity occupies in computer science, all the known results on modular analysis only treat particular problems, and there is no general unifying the...
Massimo Marchiori
127
Voted
CAISE
2009
Springer
15 years 6 months ago
The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited
Abstract. Parthood is a relation of fundamental importance in a number of disciplines including cognitive science, linguistics and conceptual modeling. However, one classical probl...
Giancarlo Guizzardi