2435 search results - page 483 / 487 » GPSS - 40 years of development |
104
click to vote
BMCBI
2004
14 years 11 months ago
2004
Background: Several in silico methods exist that were developed to predict protein interactions from the copious amount of genomic and proteomic data. One of these methods is Doma...
106
click to vote
AMAI
2000
Springer
14 years 11 months ago
2000
Springer
This is a prospective on the research in the intersection of mathematics and artificial intelligence that I see as having been the most important over the past 10 years and that I...
108
click to vote
CACM
2002
14 years 11 months ago
2002
Abstract. We have developed a digital city for Kyoto, the old capital and cultural center of Japan, as a social information infrastructure for urban everyday life including shoppin...
110
click to vote
IANDC
2011
14 years 6 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
SYNTHESE
2011
14 years 6 months ago
2011
: Both realists and instrumentalists have found it difficult to understand (much less accept) Carnap’s developed view on theoretical terms, which attempts to stake out a neutral ...