Sciweavers

8669 search results - page 220 / 1734
» Computing matrix representations
Sort
View
COLING
1992
13 years 11 months ago
Data Types In Computational Phonology
This paper exanfines certain aspects of phonological structure from the viewpoint of ahstract data types, Our imnlediate goal is to find a format for l)honological representation ...
Ewan Klein
AMC
2007
86views more  AMC 2007»
13 years 9 months ago
Further refinement of pairing computation based on Miller's algorithm
In 2006, Blake, Murty and Xu proposed three refinements to Miller’s algorithm for computing Weil/Tate Pairings. In this paper we extend their work and propose a generalized algo...
Chao-Liang Liu, Gwoboa Horng, Te-Yu Chen
EP
1998
Springer
14 years 1 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
ENTCS
2008
99views more  ENTCS 2008»
13 years 9 months ago
Specifying Properties of Concurrent Computations in CLF
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
Kevin Watkins, Iliano Cervesato, Frank Pfenning, D...
CVPR
2008
IEEE
14 years 11 months ago
Hybrid body representation for integrated pose recognition, localization and segmentation
We propose a hybrid body representation that represents each typical pose by both template-like view information and part-based structural information. Specifically, each body par...
Cheng Chen, Guoliang Fan