4520 search results - page 650 / 904 » Algebraic Techniques for Timed Systems |
152
click to vote
ICCS
2004
Springer
16 years 1 days ago
2004
Springer
Mathematical modeling of growing multicellular structures creates the problem of solving systems of equations in which not only the values of variables, but the equations themselv...
184
click to vote
PCM
2004
Springer
16 years 19 hour ago
2004
Springer
We propose and describe a novel video capturing system called Sat-Cam that can observe and record the users’ activity from effective viewpoints to negate the effects of unstead...
174
click to vote
ACSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
Methods are presented to increase resiliency to server failures by migrating long running, secure TCP-based connections to backup servers, thus mitigating damage from servers disa...
134
click to vote
EH
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes a technique for evolving similar solutions to similar configuration design problems. Using the configuration design of combination logic circuits as a testb...
161
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we describe an application of OCR techniques to quality control in industrial production. The purpose of the system is to verify the correct printing of numerical in...