Sciweavers

487 search results - page 57 / 98
» A Compiled Implementation of Normalization by Evaluation
Sort
View
132
Voted
BMCBI
2005
90views more  BMCBI 2005»
15 years 3 months ago
Text Detective: a rule-based system for gene annotation in biomedical texts
Background: The identification of mentions of gene or gene products in biomedical texts is a critical step in the development of text mining applications in biosciences. The compl...
Javier Tamames
127
Voted
SAT
2010
Springer
132views Hardware» more  SAT 2010»
15 years 1 months ago
Exploiting Circuit Representations in QBF Solving
Previous work has shown that circuit representations can be exploited in QBF solvers to obtain useful performance improvements. In this paper we examine some additional techniques ...
Alexandra Goultiaeva, Fahiem Bacchus
141
Voted
SIGPLAN
2002
15 years 3 months ago
Write barrier removal by static analysis
We present a new analysis for removing unnecessary write barriers in programs that use generational garbage collection. To our knowledge, this is the first static program analysis...
Karen Zee, Martin C. Rinard
SIGCSE
1996
ACM
163views Education» more  SIGCSE 1996»
15 years 7 months ago
Database theory in practice: learning from cooperative group projects
lhis paper describes the use of cooperative group learning concepts in support of an undergraduate database mrtnagement course that emphasizes the theoretical and practical aspect...
Suzanne W. Dietrich, Susan Darling Urban
117
Voted
INFOCOM
2006
IEEE
15 years 9 months ago
Achieving Repeatability of Asynchronous Events in Wireless Sensor Networks with EnviroLog
— Sensing events from dynamic environments are normally asynchronous and non-repeatable. This lack of repeatability makes it particularly difficult to statistically evaluate the...
Liqian Luo, Tian He, Gang Zhou, Lin Gu, Tarek F. A...