10916 search results - page 2126 / 2184 » On Constructive Connectives and Systems |
ICSM
2007
IEEE
15 years 4 months ago
2007
IEEE
Bioinformaticists use the Basic Local Alignment Search Tool (BLAST) to characterize an unknown sequence by comparing it against a database of known sequences, thus detecting evolu...
IEEESCC
2007
IEEE
15 years 4 months ago
2007
IEEE
Web rule languages with the ability to cover various types of rules have been recently emerged to make interactions between web resources and broker agents possible. The chance of...
108
click to vote
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
Ribonucleic acid (RNA) molecules play important roles in many biological processes including gene expression and regulation. An RNA molecule is a linear polymer which folds back o...
ISMAR
2007
IEEE
15 years 4 months ago
2007
IEEE
Construction companies employ CAD software during the planning phase, but what is finally built often does not match the original plan. The procedure of validating the model is c...
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...