Sciweavers

8501 search results - page 280 / 1701
» Reactive process networks
Sort
View
IFM
2007
Springer
101views Formal Methods» more  IFM 2007»
16 years 25 days ago
Translating FSP into LOTOS and Networks of Automata
Many process calculi have been proposed since Robin Milner and Tony Hoare opened the way more than 25 years ago. Although they are based on the same kernel of operators, most of th...
Gwen Salaün, Jeff Kramer, Frédé...
CEC
2010
IEEE
15 years 7 months ago
Automatic construction of image transformation algorithms using feature based genetic image network
Image processing and recognition technologies are becoming increasingly important. Automatic construction methods for image transformation algorithms proposed to date approximate a...
Yuta Nakano, Shinichi Shirakawa, Noriko Yata, Tomo...
ICMCS
2007
IEEE
288views Multimedia» more  ICMCS 2007»
15 years 10 months ago
Network Lifetime Maximization in Wireless Visual Sensor Networks using a Distributed Algorithm
Network lifetime maximization is a critical issue in wireless sensor networks since each sensor has a limited energy supply. Different from conventional sensors, video sensors com...
Yifeng He, Ivan Lee, Ling Guan
GLOBECOM
2008
IEEE
15 years 6 months ago
Efficient Power-Aware Network Provisioning for All-Optical Multicasting in WDM Mesh Networks
Optimal network provisioning is the process of equipping the network with the devices and resources needed to support all traffic demands while minimizing the network cost. Optical...
Ashraf M. Hamad, Ahmed E. Kamal
ICIP
2003
IEEE
16 years 8 months ago
Video object segmentation and tracking in stereo sequences using adaptable neural networks
In this paper, an adaptive neural network architecture is proposed for efficient video object segmentation and tracking of stereoscopic sequences. The scheme includes (a) a retrai...
Nikolaos D. Doulamis, Anastasios D. Doulamis