726 search results - page 48 / 146 » Recent advances in computational models of natural argument |
161
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
The organization of objects into classes and categories is an essential task in the process of forming concepts. Within computer science, this classification activity must be suppo...
162
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The Immune Epitope Database and Analysis Resource (IEDB) is dedicated to capturing, housing and analyzing complex immune epitope related data http:// www.immuneepitope...
178
click to vote
ISMB
1993
15 years 7 months ago
1993
Understanding self-replication from an information processing perspective is important because, amongother things, it can shed light on molecular mechanismsof biological reproduct...
163
click to vote
CCGRID
2009
IEEE
15 years 10 months ago
2009
IEEE
In recent years the power of Grid computing has grown exponentially through the development of advanced middleware systems. While usage has increased, the penetration of Grid compu...
171
click to vote
ICCAD
2006
IEEE
16 years 5 days ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...