623 search results - page 83 / 125 » Relational Parametricity for Control Considered as a Computa... |
106
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: The accumulation of high-throughput data greatly promotes computational investigation of gene function in the context of complex biological systems. However, a biologi...
109
click to vote
GI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract: File-sharing in mobile networks has differing demands to a P2P architecture. Resource access and mediation techniques must follow constraints given in 2.5G/3G networks. E...
CORR
2002
Springer
14 years 11 months ago
2002
Springer
This paper studies the problem of modeling complex domains of actions and change within highlevel action description languages. We investigate two main issues of concern: (a) can ...
CHI
2002
ACM
16 years 5 days ago
2002
ACM
Many applications require users to specify preferences. We support users in this task by letting them define preferences relative to their personal history or that of other users....
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Fine-grained multithreading based on a natural model, such as dataflow model, is promising in achieving high efficiency and high programming productivity. In this paper, we disc...