Sciweavers

1638 search results - page 117 / 328
» Properties of input-consuming derivations
Sort
View
LREC
2010
127views Education» more  LREC 2010»
14 years 11 months ago
Lexical Resources for Noun Compounds in Czech, English and Zulu
In this paper we discuss noun compounding, a highly generative, productive process, in three distinct languages: Czech, English and Zulu. Derivational morphology presents a large ...
Karel Pala, Christiane Fellbaum, Sonja E. Bosch
WOB
2008
128views Bioinformatics» more  WOB 2008»
14 years 11 months ago
Tests for Gene Clusters Satisfying the Generalized Adjacency Criterion
Abstract. We study a parametrized definition of gene clusters that permits control over the trade-off between increasing gene content versus conserving gene order within a cluster....
Ximing Xu, David Sankoff
WSCG
2004
264views more  WSCG 2004»
14 years 11 months ago
Image Registration Exploiting Five-Point Coplanar Perspective Invariant and Maximum-Curvature Point
Image registrations have been a subject of extensive study over the last decade. They appear in numerous applications including Computer Vision, Pattern Recognition, Medical Image...
Parichart Putjarupong, Chuchart Pintavirooj, Witha...
CADE
2010
Springer
14 years 11 months ago
Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
Brigitte Pientka, Joshua Dunfield
74
Voted
AMC
2010
83views more  AMC 2010»
14 years 10 months ago
Windowed Fourier transform of two-dimensional quaternionic signals
In this paper, we generalize the classical windowed Fourier transform (WFT) to quaternionvalued signals, called the quaternionic windowed Fourier transform (QWFT). Using the spect...
Mawardi Bahri, Eckhard S. M. Hitzer, Ryuichi Ashin...