87 search results - page 16 / 18 » Generic record combinators with static type checking |
PLDI
2012
ACM
11 years 10 months ago
2012
ACM
Self-stabilizing programs automatically recover from state corruption caused by software bugs and other sources to reach the correct state. A number of applications are inherently...
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
Various powerful people detection methods exist. Surprisingly,
most approaches rely on static image features
only despite the obvious potential of motion information for
people ...
DAWAK
2001
Springer
13 years 12 months ago
2001
Springer
A fundamental task in multi-agent systems is matchmaking, which is to retrieve and classify service descriptions of agents that (best) match a given service request. Several approa...
ICFP
2007
ACM
13 years 11 months ago
2007
ACM
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
TCS
2008
13 years 7 months ago
2008
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acad...