2702 search results - page 494 / 541 » Practically Applicable Formal Methods |
DESRIST
2009
Springer
15 years 6 months ago
2009
Springer
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 ...
144
click to vote
ACMSE
2006
ACM
15 years 5 months ago
2006
ACM
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...
124
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Many bioinformatics applications rely on controlled vocabularies or ontologies to consistently interpret and seamlessly integrate information scattered across public r...
122
click to vote
CONSTRAINTS
2007
15 years 1 months ago
2007
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 ...
132
click to vote
TVCG
2008
15 years 1 months ago
2008
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...