1205 search results - page 101 / 241 » Program Extraction from Large Proof Developments |
137
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: Microarray analysis is an important area of bioinformatics. In the last few years, biclustering has become one of the most popular methods for classifying data from mi...
120
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: The central role of transcription factors (TFs) in higher eukaryotes has led to much interest in deciphering transcriptional regulatory interactions. Even in the best ...
222
click to vote
VCBM
2010
14 years 8 months ago
2010
We present the latest developments in modeling 3D biomedical data via the Medial Scaffold (MS), a 3D acyclic oriented graph representation of the Medial Axis (MA) [LK07, SP08]. Th...
136
Voted
WSDM
2012
ACM
13 years 9 months ago
2012
ACM
Studying relationships between keyword tags on social sharing websites has become a popular topic of research, both to improve tag suggestion systems and to discover connections b...
125
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
Bug localization has attracted a lot of attention recently. Most existing methods focus on pinpointing a single statement or function call which is very likely to contain bugs. Al...