10072 search results - page 1709 / 2015 » Composition of Model Programs |
187
click to vote
SC
2005
ACM
16 years 6 days ago
2005
ACM
Performance prediction across platforms is increasingly important as developers can choose from a wide range of execution platforms. The main challenge remains to perform accurate...
193
click to vote
AIED
2005
Springer
16 years 6 days ago
2005
Springer
Intelligent Tutoring Systems are notoriously costly to construct [1], and require PhD level experience in cognitive science and rule based programming. The goal of this research wa...
158
click to vote
APPT
2005
Springer
16 years 6 days ago
2005
Springer
By reasonably allocating a cooperative problem which need multiple solvers cope with together, the problem could be performed more effectively and efficiently. A problem could be d...
158
click to vote
EMO
2005
Springer
16 years 5 days ago
2005
Springer
Water systems often allow efficient water uses via water reuse and/or recirculation. Defining the network layout connecting water-using processes is a complex problem which involv...
166
click to vote
ICALP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this paper we attempt to formally study two very intuitive physical models: sealed envelopes and locked boxes, often used as illustrations for common cryptographic ope...