2409 search results - page 189 / 482 » Logical systems for structured specifications |
160
click to vote
BMCBI
2008
15 years 6 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...
154
click to vote
CASCON
1996
15 years 7 months ago
1996
Today's advanced CASE tools, combining the building-block and generative approaches to software reuse, are effective for reuse of software components and procedures in the pr...
132
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Existing data mining algorithms on graphs look for nodes satisfying specific properties, such as specific notions of structural similarity or specific measures of link-based impor...
184
click to vote
LCN
2007
IEEE
16 years 24 days ago
2007
IEEE
1 Vehicular Ad hoc NETworks (VANETs) is a subclass of Mobile Ad hoc NETworks (MANETs). However, automotive ad hoc networks will behave in fundamentally different ways than the pred...
188
click to vote
CSL
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...