1264 search results - page 210 / 253 » Towards Theory Translation |
ICFP
2000
ACM
14 years 1 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
AMET
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. Auction-based electronic commerce is an increasingly interesting domain for AI researchers. In this paper we present an attempt towards the construction of trading agents...
CIKM
2009
Springer
14 years 23 days ago
2009
Springer
The highly variable and dynamic word usage in social media presents serious challenges for both research and those commercial applications that are geared towards blogs or other u...
ATAL
2006
Springer
14 years 17 days ago
2006
Springer
Communication in open heterogeneous multi agent systems is hampered by lack of shared ontologies. To overcome these problems, we propose a layered communication protocol which inc...
CASES
2006
ACM
14 years 17 days ago
2006
ACM
Many embedded systems exhibit temporally and behaviorally disjoint behavior slices. When such behaviors are captured by state machines, the current design flow will capture it as ...