2056 search results - page 83 / 412 » time 2000 |
SIGUCCS
2000
ACM
15 years 4 months ago
2000
ACM
This paper presents techniques and opportunities for creating targeted, lean, effective documentation and information to free your time and your readers’ time for other importan...
106
click to vote
CVPR
2000
IEEE
16 years 1 months ago
2000
IEEE
The motion of a non-rigid scene over time imposes more constraints on its structure than those derived from images at a single time instant alone. An algorithm is presented for si...
ESA
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We show that all algebraic-geometric codes possess a succinct representation that allows for the list decoding algorithms of [15, 7] to run in polynomial time. We do this...
107
click to vote
RITA
2000
14 years 11 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...
MOC
1998
14 years 11 months ago
1998
We approximate the solution of initial boundary value problems for nonlinear parabolic equations. In space we discretize by finite element methods. The discretization in time is b...