Sciweavers

2800 search results - page 246 / 560
» A hierarchical model of data locality
Sort
View
FM
2003
Springer
146views Formal Methods» more  FM 2003»
15 years 4 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
ISCC
2002
IEEE
147views Communications» more  ISCC 2002»
15 years 4 months ago
Self-securing ad hoc wireless networks
Mobile ad hoc networking offers convenient infrastructureless communication over the shared wireless channel. However, the nature of ad hoc networks makes them vulnerable to secur...
Haiyun Luo, Petros Zerfos, Jiejun Kong, Songwu Lu,...
ICALP
1999
Springer
15 years 3 months ago
Wide Area Computation
Abstract. The last decades have seen the emergence of the sea of objects paradigm for structuring complex distributed systems on workstations and local area networks. In this appro...
Luca Cardelli
IJCV
2007
163views more  IJCV 2007»
14 years 11 months ago
Semantic Modeling of Natural Scenes for Content-Based Image Retrieval
In this paper, we present a novel image representation that renders it possible to access natural scenes by local semantic description. Our work is motivated by the continuing effo...
Julia Vogel, Bernt Schiele
NIPS
2003
15 years 11 days ago
Discriminative Fields for Modeling Spatial Dependencies in Natural Images
In this paper we present Discriminative Random Fields (DRF), a discriminative framework for the classification of natural image regions by incorporating neighborhood spatial depe...
Sanjiv Kumar, Martial Hebert