2841 search results - page 161 / 569 » A Call to Order |
209
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
141
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
Web Engineering projects face problems when it comes to reveal the Web users' requirements. This is due to the fact that users ? the clients of a Web application ? have diffi...
191
click to vote
DCC
2009
IEEE
16 years 7 months ago
2009
IEEE
We present a linear time and space suffix array (SA) construction algorithm called the SA-IS algorithm. The SA-IS algorithm is novel because of the LMS-substrings used for the pro...
177
Voted
KDD
2003
ACM
16 years 7 months ago
2003
ACM
The growth of bioinformatics has resulted in datasets with new characteristics. These datasets typically contain a large number of columns and a small number of rows. For example,...
150
Voted
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...