2436 search results - page 393 / 488 » Comonadic Notions of Computation |
153
click to vote
MVA
2006
15 years 4 months ago
2006
Abstract This paper presents an approach to designing and implementing extensible computational models for perceiving systems based on a knowledge-driven joint inference approach. ...
161
Voted
IANDC
2007
15 years 4 months ago
2007
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...
147
click to vote
SIGCSE
2008
ACM
15 years 4 months ago
2008
ACM
Game development is quickly gaining popularity in introductory programming courses. Motivational and educational aspects of game development are hard to balance and often sacrific...
124
click to vote
TCS
2008
15 years 4 months ago
2008
We introduce a new unification procedure for the type inference problem in the intersection type discipline. It is well known that type inference in this case should succeed exact...
140
Voted
IS
2007
15 years 4 months ago
2007
Preference queries are relational algebra or SQL queries that contain occurrences of the winnow operator (find the most preferred tuples in a given relation). Such queries are pa...