Sciweavers

2701 search results - page 147 / 541
» On the form of witness terms
Sort
View
MOBICOM
2006
ACM
16 years 14 days ago
Increasing broadcast reliability in vehicular ad hoc networks
Broadcast transmissions are the predominate form of network traffic in a VANET. However, since there is no MAC-layer recovery on broadcast frames within an 802.11-based VANET, th...
Nathan Balon, Jinhua Guo
MOBICOM
2006
ACM
16 years 14 days ago
Video streaming over overlaid bluetooth piconets (OBP)
In a large scale Bluetooth network, scatternet has been regarded as the only interconnection method among piconets. But, most Bluetooth devices do not support scatternet connectio...
Sewook Jung, Alexander Chang, Mario Gerla
SAC
2006
ACM
16 years 13 days ago
A branch and prune algorithm for the approximation of non-linear AE-solution sets
Non-linear AE-solution sets are a special case of parametric systems of equations where universally quantified parameters appear first. They allow to model many practical situat...
Alexandre Goldsztejn
CSB
2005
IEEE
151views Bioinformatics» more  CSB 2005»
16 years 3 days ago
Lossless Compression of DNA Microarray Images
Microarray experiments are characterized by a massive amount of data, usually in the form of an image. Based on the nature of microarray images, we consider the microarray in term...
Yong Zhang, Rahul Parthe, Donald A. Adjeroh
ETFA
2005
IEEE
16 years 3 days ago
Decentralized supervisory control of Petri nets with monitor places
In this paper we deal with the problem of determining a set of decentralized controllers for P/T nets that are able to impose a given global specification on the net behaviour. M...
Francesco Basile, Alessandro Giua, Carla Seatzu