Sciweavers

2645 search results - page 77 / 529
» time 2003
Sort
View
146
Voted
CAIP
2003
Springer
244views Image Analysis» more  CAIP 2003»
15 years 10 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»
15 years 10 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...
135
Voted
COCO
2003
Springer
145views Algorithms» more  COCO 2003»
15 years 10 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
186
Voted
DEXA
2003
Springer
222views Database» more  DEXA 2003»
15 years 10 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
129
Voted
GD
2003
Springer
15 years 10 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...