Sciweavers

1400 search results - page 127 / 280
» On multiplication in finite fields
Sort
View
JSC
2000
117views more  JSC 2000»
13 years 8 months ago
Goals and Benchmarks for Automated Map Reasoning
Tarski-Givant's map calculus is briefly reviewed, and a plan of research is outlined aimed at investigating applications of this ground equational formalism in the theorem-pr...
Andrea Formisano, Eugenio G. Omodeo, Marco Temperi...
DCC
2010
IEEE
13 years 3 months ago
Parameter choices and a better bound on the list size in the Guruswami-Sudan algorithm for algebraic geometry codes
Abstract. Given an algebraic geometry code CL(D, P), the GuruswamiSudan algorithm produces a list of all codewords in CL(D, P) within a specified distance of a received word. The i...
Nathan Drake, Gretchen L. Matthews
VISSYM
2004
13 years 10 months ago
Techniques for Visualizing Multi-Valued Flow Data
In this paper we discuss several techniques to display multiple scalar distributions within an image depicting a 2D flow field. We first address how internal contrast and mean lum...
Timothy Urness, Victoria Interrante, Ellen Longmir...
TCSV
2008
155views more  TCSV 2008»
13 years 9 months ago
Heterogeneous Fusion of Omnidirectional and PTZ Cameras for Multiple Object Tracking
Dual-camera systems have been widely used in surveillance because of the ability to explore the wide field of view (FOV) of the omnidirectional camera and the wide zoom range of th...
Chung-Hao Chen, Yi Yao, David Page, Besma R. Abidi...
BMCBI
2006
140views more  BMCBI 2006»
13 years 9 months ago
MACSIMS : multiple alignment of complete sequences information management system
Background: In the post-genomic era, systems-level studies are being performed that seek to explain complex biological systems by integrating diverse resources from fields such as...
Julie D. Thompson, Arnaud Muller, Andrew M. Waterh...