Sciweavers

1611 search results - page 175 / 323
» An Access Control Model for Video Database Systems
Sort
View
ICVS
2001
Springer
15 years 2 months ago
A Modular Software Architecture for Real-Time Video Processing
An increasing number of computer vision applications require on-line processing of data streams, preferably in real-time. This trend is fueled by the mainstream availability of low...
Alexandre R. J. François, Gérard G. ...
BELL
2000
107views more  BELL 2000»
14 years 9 months ago
Automating software feature verification
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
Gerard J. Holzmann, Margaret H. Smith
ISQED
2009
IEEE
117views Hardware» more  ISQED 2009»
15 years 4 months ago
Adaptive voltage controlled nanoelectronic addressing for yield, accuracy and resolution
An outstanding challenge for realizing nanoelectronic systems is nano-interface design, i.e., how to precisely access a nanoscale wire in an array for communication between a nano...
Bao Liu
QOFIS
2001
Springer
15 years 2 months ago
Constrained TCP-Friendly Congestion Control for Multimedia Communication
With the lack of admission control and resource reservation mechanisms in the Internet, overload situations can only be avoided by having the end systems deploying congestion cont...
Dorgham Sisalem, Adam Wolisz
BMCBI
2007
186views more  BMCBI 2007»
14 years 10 months ago
GeneBins: a database for classifying gene expression data, with application to plant genome arrays
Background: To interpret microarray experiments, several ontological analysis tools have been developed. However, current tools are limited to specific organisms. Results: We deve...
Nicolas Goffard, Georg Weiller