Sciweavers

10568 search results - page 530 / 2114
» Computer Intelligence and Formalization
Sort
View
AI
2007
Springer
15 years 6 months ago
Computational properties of argument systems satisfying graph-theoretic constraints
One difficulty that arises in abstract argument systems is that many natural questions regarding argument acceptability are, in general, computationally intractable having been c...
Paul E. Dunne
AAMAS
2004
Springer
15 years 6 months ago
A Manifesto for Agent Technology: Towards Next Generation Computing
The European Commission's eEurope initiative aims to bring every citizen, home, school, business and administration online to create a digitally literate Europe. The value lie...
Michael Luck, Peter McBurney, Chris Preist
166
Voted
BMCBI
2011
15 years 1 months ago
Revision history aware repositories of computational models of biological systems
Background: Building repositories of computational models of biological systems ensures that published models are available for both education and further research, and can provid...
Andrew K. Miller, Tommy Yu, Randall Britten, Mike ...
170
Voted
BMCBI
2011
15 years 1 months ago
A Computational Framework for Proteome-Wide Pursuit and Prediction of Metalloproteins using ICP-MS and MS/MS Data
Background: Metal-containing proteins comprise a diverse and sizable category within the proteomes of organisms, ranging from proteins that use metals to catalyze reactions to pro...
W. Andrew Lancaster, Jeremy L. Praissman, Farris L...
BMCBI
2011
15 years 1 months ago
ATAQS: A computational software tool for high throughput transition optimization and validation for selected reaction monitoring
Background: Since its inception, proteomics has essentially operated in a discovery mode with the goal of identifying and quantifying the maximal number of proteins in a sample. I...
Mi-Youn K. Brusniak, Sung-Tat Kwok, Mark Christian...