Sciweavers

3775 search results - page 428 / 755
» The Expression Problem Revisited
Sort
View
142
Voted
NGC
2001
Springer
135views Communications» more  NGC 2001»
15 years 11 months ago
The Multicast Bandwidth Advantage in Serving a Web Site
Delivering popular web pages to the clients results in high bandwidth and high load on the web servers. A method to overcome this problem is to send these pages, requested by many ...
Yossi Azar, Meir Feder, Eyal Lubetzky, Doron Rajwa...
SPIN
2001
Springer
15 years 11 months ago
p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper)
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
Michael Baldamus, Jochen Schröder-Babo
CSFW
2000
IEEE
15 years 11 months ago
Secure Composition of Untrusted Code: Wrappers and Causality Types
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
Peter Sewell, Jan Vitek
FGR
2000
IEEE
137views Biometrics» more  FGR 2000»
15 years 11 months ago
Face Recognition in a Meeting Room
In this paper, we investigate recognition of human faces in a meeting room. The major challenges of identifying human faces in this environment include low quality of input images...
Ralph Gross, Jie Yang, Alex Waibel
ICPR
2000
IEEE
15 years 11 months ago
Generalized Non-Reducible Descriptors
This paper provides a generalization of non-reducible descriptors by extending the concept of distance between patterns of di erent classes. Generalized non-reducible descriptors ...
Ventzeslav Valev, Bülent Sankur, Petia Radeva