Sciweavers

6583 search results - page 112 / 1317
» Semantic Analysis Patterns
Sort
View
SOFSEM
2005
Springer
15 years 8 months ago
Characteristic Patterns for LTL
We give a new characterization of those languages that are definable in fragments of LTL where the nesting depths of X and U modalities are bounded by given constants. This brings...
Antonín Kucera, Jan Strejcek
CGF
2010
127views more  CGF 2010»
15 years 3 months ago
On Discrete Killing Vector Fields and Patterns on Surfaces
Symmetry is one of the most important properties of a shape, unifying form and function. It encodes semantic information on one hand, and affects the shape's aesthetic value ...
Mirela Ben-Chen, Adrian Butscher, Justin Solomon, ...
DAM
2008
103views more  DAM 2008»
15 years 3 months ago
Counting preimages of TCP reordering patterns
Packet reordering is an important property of network traffic that should be captured by analytical models of the Transmission Control Protocol (TCP). We study a combinatorial pro...
Anders Hansson, Gabriel Istrate
IBPRIA
2003
Springer
15 years 8 months ago
The Log-polar Image Representation in Pattern Recognition Tasks
Abstract. This paper is a review of works about the use of the logpolar image model for pattern recognition purposes. Particular attention is paid to the rotation- and scale-invari...
V. Javier Traver, Filiberto Pla
EP
1998
Springer
15 years 7 months ago
Mathematical Tools for Computer-Generated Ornamental Patterns
This article presents mathematical tools for computer-generated ornamental patterns, with a particular attention payed to Islamic patterns. The article shows how, starting from a p...
Victor Ostromoukhov