Sciweavers

2702 search results - page 494 / 541
» Practically Applicable Formal Methods
Sort
View
DESRIST
2009
Springer
118views Education» more  DESRIST 2009»
14 years 22 days ago
Building theory in the sciences of the artificial
This essay extends Simon’s arguments in the Sciences of the Artificial to a critical examination of how theorizing in Information Technology disciplines should occur. The essay ...
Shirley Gregor
ACMSE
2006
ACM
13 years 12 months ago
Achieving efficient polynomial multiplication in fermat fields using the fast Fourier transform
We introduce an efficient way of performing polynomial multiplication in a class of finite fields GF(pm ) in the frequency domain. The Fast Fourier Transform (FFT) based frequency...
Selçuk Baktir, Berk Sunar
BMCBI
2008
135views more  BMCBI 2008»
13 years 8 months ago
Facilitating the development of controlled vocabularies for metabolomics technologies with text mining
Background: Many bioinformatics applications rely on controlled vocabularies or ontologies to consistently interpret and seamlessly integrate information scattered across public r...
Irena Spasic, Daniel Schober, Susanna-Assunta Sans...
CONSTRAINTS
2007
100views more  CONSTRAINTS 2007»
13 years 8 months ago
Design of Financial CDO Squared Transactions Using Constraint Programming
We give an approximate and often extremely fast method of building a particular kind of portfolio in finance, here called a portfolio design (PD), with applications in the credit ...
Pierre Flener, Justin Pearson, Luis G. Reyna, Olof...
TVCG
2008
108views more  TVCG 2008»
13 years 8 months ago
Particle-based labeling: Fast point-feature labeling without obscuring other visual features
In many information visualization techniques, labels are an essential part to communicate the visualized data. To preserve the expressiveness of the visual representation, a placed...
Martin Luboschik, Heidrun Schumann, Hilko Cords