Sciweavers

2763 search results - page 397 / 553
» The Dangerous 'All' in Specifications
Sort
View
BMCBI
2006
165views more  BMCBI 2006»
15 years 6 months ago
Validation and functional annotation of expression-based clusters based on gene ontology
Background: The biological interpretation of large-scale gene expression data is one of the paramount challenges in current bioinformatics. In particular, placing the results in t...
Ralf Steuer, Peter Humburg, Joachim Selbig
BMCBI
2006
114views more  BMCBI 2006»
15 years 6 months ago
Mining frequent patterns for AMP-activated protein kinase regulation on skeletal muscle
Background: AMP-activated protein kinase (AMPK) has emerged as a significant signaling intermediary that regulates metabolisms in response to energy demand and supply. An investig...
Qingfeng Chen, Yi-Ping Phoebe Chen
ENTCS
2006
128views more  ENTCS 2006»
15 years 6 months ago
Web Verification: Perspective and Challenges
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...
Shriram Krishnamurthi
JAIR
2006
157views more  JAIR 2006»
15 years 6 months ago
Decision-Theoretic Planning with non-Markovian Rewards
A decision process in which rewards depend on history rather than merely on the current state is called a decision process with non-Markovian rewards (NMRDP). In decisiontheoretic...
Sylvie Thiébaux, Charles Gretton, John K. S...
JDFP
2006
139views more  JDFP 2006»
15 years 6 months ago
Discovering Hidden Evidence
Over the past decade, the advancement of a myriad of methods, techniques and technologies to conceal digital evidence and covertly communicate have increased at an alarming rate. I...
Chet Hosmer