Sciweavers

10602 search results - page 1857 / 2121
» Weakly Useful Sequences
Sort
View
JELIA
1994
Springer
15 years 11 months ago
Temporal Theories of Reasoning
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
Joeri Engelfriet, Jan Treur
SIGGRAPH
1994
ACM
15 years 11 months ago
Animating images with drawings
The work described here extends the power of 2D animation with a form of texture mapping conveniently controlled by line drawings. By tracing points, line segments, spline curves,...
Peter Litwinowicz, Lance Williams
SI3D
1992
ACM
15 years 11 months ago
Lights from Highlights and Shadows
Designing the illumination of a scene is a di cult task because one needs to render the whole scene in order to look at the result. Obtaining the correct lighting e ects may requi...
Pierre Poulin, Alain Fournier
PODC
1990
ACM
15 years 11 months ago
Half-Order Modal Logic: How to Prove Real-Time Properties
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
Thomas A. Henzinger
DAS
2010
Springer
15 years 11 months ago
Towards more effective distance functions for word image matching
Matching word images has many applications in document recognition and retrieval systems. Dynamic Time Warping (DTW) is popularly used to estimate the similarity between word imag...
Raman Jain, C. V. Jawahar
« Prev « First page 1857 / 2121 Last » Next »