Sciweavers

641 search results - page 76 / 129
» Modernizing Plan-Composition Studies
Sort
View
ACMSE
2005
ACM
15 years 9 months ago
Heuristics for dependency conjectures in proteomic signaling pathways
A key issue in the study of protein signaling networks is understanding the relationships among proteins in the network. Understanding these relationships in the context of a netw...
Edward E. Allen, Jacquelyn S. Fetrow, David J. Joh...
ACMSE
2005
ACM
15 years 9 months ago
Metadata management and relational databases
A simple extension to the relational model that permits metadata (more generally metaknowledge) to be stored and manipulated as first class data is proposed. The accompanying que...
Shun Yan Cheung, James J. Lu, Catharine M. Wyss
117
Voted
ECAL
2005
Springer
15 years 9 months ago
Artificial Life Meets Anthropology: A Case of Aggression in Primitive Societies
One of the greatest challenges in the modern biological and social sciences has been to understand the evolution of altruistic and cooperative behaviors. General outlines of the an...
Mikhail S. Burtsev
129
Voted
GECCO
2005
Springer
113views Optimization» more  GECCO 2005»
15 years 9 months ago
Search-based mutation testing for Simulink models
The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that muta...
Yuan Zhan, John A. Clark
101
Voted
SAT
2005
Springer
134views Hardware» more  SAT 2005»
15 years 9 months ago
A Clause-Based Heuristic for SAT Solvers
We propose a new decision heuristic for DPLL-based propositional SAT solvers. Its essence is that both the initial and the conflict clauses are arranged in a list and the next deci...
Nachum Dershowitz, Ziyad Hanna, Alexander Nadel