Sciweavers

2645 search results - page 77 / 529
» time 2003
Sort
View
CAIP
2003
Springer
244views Image Analysis» more  CAIP 2003»
14 years 3 months ago
Real-Time Optic Flow Computation with Variational Methods
Abstract. Variational methods for optic flow computation have the reputation of producing good results at the expense of being too slow for real-time applications. We show that re...
Andrés Bruhn, Joachim Weickert, Christian F...
CC
2003
Springer
120views System Software» more  CC 2003»
14 years 3 months ago
Run-Time Type Checking for Binary Programs
Abstract. Many important software systems are written in the C programming language. Unfortunately, the C language does not provide strong safety guarantees, and many common progra...
Michael Burrows, Stephen N. Freund, Janet L. Wiene...
COCO
2003
Springer
145views Algorithms» more  COCO 2003»
14 years 3 months ago
Hardness vs. Randomness within Alternating Time
We study the complexity of building pseudorandom generators (PRGs) with logarithmic seed length from hard functions. We show that, starting from a function f : {0, 1}l → {0, 1} ...
Emanuele Viola
DEXA
2003
Springer
222views Database» more  DEXA 2003»
14 years 3 months ago
Process Data Store: A Real-Time Data Store for Monitoring Business Processes
With access to real-time information on critical performance indicators of business processes, managers and staff members can play a crucial role in improving the speed and effecti...
Josef Schiefer, Beate List, Robert M. Bruckner
GD
2003
Springer
14 years 3 months ago
Radial Level Planarity Testing and Embedding in Linear Time
A graph with an ordered k-partition of the vertices is radial level planar if there is a strictly outward drawing on k concentric levels without crossings. Radial level planarity ...
Christian Bachmaier, Franz-Josef Brandenburg, Mich...