9818 search results - page 385 / 1964 » Much Support and More |
236
click to vote
CSL
2005
Springer
16 years 1 months ago
2005
Springer
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
171
click to vote
DNA
2005
Springer
16 years 1 months ago
2005
Springer
In the field of DNA computing, more and more efforts are made for constructing molecular machines made of DNA that work in vitro or in vivo. States of some of those machines are...
225
click to vote
ILP
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Logical Bayesian Networks (LBNs) have recently been introduced as another language for knowledge based model construction of Bayesian networks, besides existing languages...
230
click to vote
ICSE
2003
IEEE-ACM
16 years 25 days ago
2003
IEEE-ACM
Improvements in the software development process depend on our ability to collect and analyze data drawn from various phases of the development life cycle. Our design metrics rese...
219
click to vote
IPPS
2002
IEEE
16 years 16 days ago
2002
IEEE
In the sub-micron technology era, wire delays are becoming much more important than gate delays, making it particularly attractive to go for clustered designs. A common form of cl...