Sciweavers

2292 search results - page 254 / 459
» Hierarchical approximation and localization
Sort
View
FM
2003
Springer
146views Formal Methods» more  FM 2003»
15 years 11 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 11 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,...
153
Voted
PG
2002
IEEE
15 years 11 months ago
The Light Field Oracle
We present the light field oracle, a novel mathematical concept for the acquisition, processing and representation of light fields. We first compute a hierarchical representati...
Reto Lütolf, Bernt Schiele, Markus H. Gross
IWVF
2001
Springer
15 years 11 months ago
The Shock Scaffold for Representing 3D Shape
The usefulness of the 3D Medial Axis (MA) is dependent on both the availability of accurate and stable methods for computing individual MA points and on schemes for deriving the l...
Frederic F. Leymarie, Benjamin B. Kimia
ICALP
1999
Springer
15 years 11 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