Sciweavers

80 search results - page 15 / 16
» Cell Modeling Using Agent-Based Formalisms
Sort
View
BMCBI
2011
13 years 1 months ago
Hierarchical graphs for rule-based modeling of biochemical systems
Background: In rule-based modeling, graphs are used to represent molecules: a colored vertex represents a component of a molecule, a vertex attribute represents the internal state...
Nathan W. Lemons, Bin Hu, William S. Hlavacek
ICALP
1994
Springer
13 years 10 months ago
On the Cost of Recomputing: Tight Bounds on Pebbling with Faults
We introduce a formal framework to study the time and space complexity of computing with faulty memory. For the fault-free case, time and space complexities were studied using the...
Yonatan Aumann, Judit Bar-Ilan, Uriel Feige
FMICS
2009
Springer
14 years 17 days ago
A Rigorous Methodology for Composing Services
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
Kenneth J. Turner, Koon Leai Larry Tan
VG
2003
13 years 7 months ago
Volume CAD
In this paper, we propose a novel shape and physical attribute handling system Volume-CAD designated for practical and robust use in the manufacturing process of various industrie...
Kiwamu Kase, Yoshinori Teshima, Shugo Usami, H. Oh...
SAINT
2006
IEEE
14 years 2 hour ago
Ontology Extraction from Tables on the Web
Previous works on information extraction from tables make use of prior knowledge such as a cognition model of tables or lexical knowledge bases for specific domains. However, we ...
Masahiro Tanaka, Toru Ishida