Sciweavers

18090 search results - page 2973 / 3618
» Computing by Only Observing
Sort
View
ICALP
2004
Springer
16 years 17 days ago
Group Spreading: A Protocol for Provably Secure Distributed Name Service
In order to enable communication between a dynamic collection of peers with given ID’s, such as “machine.cs.school.edu”, over the Internet, a distributed name service must b...
Baruch Awerbuch, Christian Scheideler
ICALP
2004
Springer
16 years 17 days ago
Online Scheduling of Equal-Length Jobs: Randomization and Restarts Help
We consider the following scheduling problem. The input is a set of jobs with equal processing times, where each job is specified by its release time and deadline. The goal is to ...
Marek Chrobak, Wojciech Jawor, Jiri Sgall, Tom&aac...
ICCS
2004
Springer
16 years 17 days ago
Bayer Pattern Demosaicking Using Local-Correlation Approach
A new Bayer pattern demosaicking scheme for single-sensor digital cameras is introduced. The raw output from a sensor, mostly a charge coupled device (CCD) or a complementary metal...
Rastislav Lukac, Konstantinos N. Plataniotis, Anas...
ICCS
2004
Springer
16 years 17 days ago
Types and Tokens for Logic with Diagrams
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
Frithjof Dau
ICTAC
2004
Springer
16 years 17 days ago
Combining Algebraic and Model-Based Test Case Generation
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
Li Dan, Bernhard K. Aichernig
« Prev « First page 2973 / 3618 Last » Next »