Sciweavers

12452 search results - page 2439 / 2491
» An exploration of program as language
Sort
View
WSE
2003
IEEE
15 years 3 months ago
Resolution of Static Clones in Dynamic Web Pages
Cloning is extremely likely to occur in web sites, much more so than in other software. While some clones exist for valid reasons, or are too small to eliminate, cloning percentag...
Nikita Synytskyy, James R. Cordy, Thomas R. Dean
ICSE
2007
IEEE-ACM
15 years 3 months ago
ACL2s: "The ACL2 Sedan"
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
Peter C. Dillinger, Panagiotis Manolios, Daron Vro...
KDD
2009
ACM
204views Data Mining» more  KDD 2009»
15 years 10 months ago
Improving classification accuracy using automatically extracted training data
Classification is a core task in knowledge discovery and data mining, and there has been substantial research effort in developing sophisticated classification models. In a parall...
Ariel Fuxman, Anitha Kannan, Andrew B. Goldberg, R...
EUROSYS
2006
ACM
15 years 3 months ago
K42: building a complete operating system
K42 is one of the few recent research projects that is examining operating system design structure issues in the context of new whole-system design. K42 is open source and was des...
Orran Krieger, Marc A. Auslander, Bryan S. Rosenbu...
BMCBI
2010
127views more  BMCBI 2010»
14 years 10 months ago
SplicerAV: a tool for mining microarray expression data for changes in RNA processing
Background: Over the past two decades more than fifty thousand unique clinical and biological samples have been assayed using the Affymetrix HG-U133 and HG-U95 GeneChip microarray...
Timothy J. Robinson, Michaela A. Dinan, Mark Dewhi...
« Prev « First page 2439 / 2491 Last » Next »