405 search results - page 67 / 81 » Open Systems Formal Evaluation Process |
SIGMOD
2008
ACM
14 years 10 months ago
2008
ACM
Tree pattern queries (TPQs) provide a natural and easy formalism to query tree-structured XML data, and the efficient processing of such queries has attracted a lot of attention. ...
58
Voted
COLING
2010
14 years 5 months ago
2010
Creating correct, semantic representations of questions is essential for applications that can use formal reasoning to answer them. However, even within a restricted domain, it is...
MEMOCODE
2003
IEEE
15 years 3 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
147
Voted
SIGMOD
2006
ACM
15 years 10 months ago
2006
ACM
The networking and distributed systems communities have recently explored a variety of new network architectures, both for applicationlevel overlay networks, and as prototypes for...
BMCBI
2008
14 years 10 months ago
2008
Background: A logical model of the known metabolic processes in S. cerevisiae was constructed from iFF708, an existing Flux Balance Analysis (FBA) model, and augmented with inform...