1511 search results - page 159 / 303 » Relational Parametricity for Computational Effects |
176
click to vote
FGIT
2009
Springer
16 years 1 months ago
2009
Springer
GRID environments are privileged targets for computation-intensive problem solving in areas from weather forecasting to seismic analysis. Mainly composed by commodity hardware, th...
197
click to vote
ICTAI
2008
IEEE
16 years 26 days ago
2008
IEEE
Unlike simple questions, complex questions cannot be answered by simply extracting named entities. These questions require inferencing and synthesizing information from multiple d...
147
click to vote
COLCOM
2007
IEEE
16 years 24 days ago
2007
IEEE
—Reputation systems provide a promising way for building trust through social control in collaborative communities by harnessing the community knowledge in the form of feedback. ...
156
click to vote
IJCNN
2007
IEEE
16 years 23 days ago
2007
IEEE
— Many neural network models of (human) motor learning focus on the acquisition of direct goal-to-action mappings, which results in rather inflexible motor control programs. We ...
167
click to vote
CONCUR
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...