692 search results - page 34 / 139 » Some research questions for computational transportation sci... |
SIGCSE
2002
ACM
13 years 8 months ago
2002
ACM
Bioinformatics is a new and rapidly evolving discipline that has emerged from the fields of experimental molecular biology and biochemistry, and from the the artificial intelligen...
JUCS
2002
13 years 8 months ago
2002
: A purely communicative variant of P systems was considered recently, based on the trans-membrane transport of couples of chemicals. When using both symport rules (the chemicals p...
CSR
2009
Springer
13 years 11 months ago
2009
Springer
In this paper we investigate the following two questions: Q1: Do there exist optimal proof systems for a given language L? Q2: Do there exist complete problems for a given promise ...
SIGSOFT
2006
ACM
14 years 9 months ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
ITICSE
2005
ACM
14 years 2 months ago
2005
ACM
Is it possible to teach dynamic polymorphism early? What techniques could facilitate teaching it in Java. This panel will bring together people who have considered this question a...