Sciweavers

4870 search results - page 373 / 974
» Construction of Wavelets and Applications
Sort
View
ECUMN
2007
Springer
16 years 1 months ago
A Spatial Communication Model for Ubiquitous Computing Services
Abstract— The paper presents a location-aware communication approach in smart home environments. It is constructed on a symbolic location model to represent the containment relat...
Ichiro Satoh
GMP
2006
IEEE
151views Solid Modeling» more  GMP 2006»
16 years 28 days ago
A Surface Displaced from a Manifold
We present a new surface representation scheme based on a manifold structure and displacement functions. Given a geometric model represented as a point cloud, we construct a domain...
Seung-Hyun Yoon
ICMCS
2006
IEEE
183views Multimedia» more  ICMCS 2006»
16 years 28 days ago
Region Enhanced Scale-Invariant Saliency Detection
Saliency measures the low-level stimuli to human vision, and serves as an alternative to semantic image understanding. This paper presents a region enhanced scale-invariant salien...
Feng Liu, Michael Gleicher
ISCC
2006
IEEE
127views Communications» more  ISCC 2006»
16 years 27 days ago
Visualizing and Managing Network Topologies via Rectangular Dualization
Rectangular dualization is an effective, hierarchically oriented visualization method for network topologies and can be used in many other problems having in common with networks ...
Massimo Ancona, Walter Cazzola, Sara Drago, Gianlu...
JVA
2006
IEEE
16 years 27 days ago
Natural Deduction Calculus for Computation Tree Logic
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin