1205 search results - page 153 / 241 » Program Extraction from Large Proof Developments |
ICMCS
2007
IEEE
15 years 7 months ago
2007
IEEE
Automatic web page segmentation is the basis to adaptive web browsing on mobile devices. It breaks a large page into smaller blocks, in which contents with coherent semantics are ...
148
click to vote
EUSFLAT
2009
14 years 11 months ago
2009
Besides the problem of searching for effective methods for extracting knowledge from large databases (KDD) there are some additional problems with handling ecological data, namely ...
105
click to vote
APSEC
2005
IEEE
15 years 7 months ago
2005
IEEE
Testing a large-scale, real-life commercial software application is a very challenging task due to the constant changes in the software, the involvement of multiple programmers an...
137
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: In biological sequence analysis, position specific scoring matrices (PSSMs) are widely used to represent sequence motifs in nucleotide as well as amino acid sequences....
105
click to vote
ICDE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Database developers today use data access APIs such as ADO.NET to execute SQL queries from their application. These applications often have security problems such as SQL injecti...