623 search results - page 115 / 125 » Relational Parametricity for Control Considered as a Computa... |
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
The growing complexity of modern processors has made the development of highly efficient code increasingly difficult. Manually developing highly efficient code is usually expen...
140
click to vote
EGOV
2003
Springer
15 years 4 months ago
2003
Springer
: New information and communication technologies within the Administration give rise to a series of important challenges: to select and use the various telematic and computer-relat...
ECAI
1994
Springer
15 years 3 months ago
1994
Springer
1 A hybrid (symbolic/connectionist) cognitive architecture, DUAL, is proposed. It is a multi-agent system which consist of a large number of non-cognitive, relatively simple agents...
110
click to vote
CHI
2011
ACM
14 years 3 months ago
2011
ACM
Much of the mobile work by HCI researchers explores a future world populated by high-end devices and relatively affluent users. This paper turns to consider the hundreds of milli...
RECOMB
2005
Springer
16 years 1 hour ago
2005
Springer
Background: Correlations between polymorphic markers and observed phenotypes provide the basis for mapping traits in quantitative genetics. When the phenotype is gene expression, ...