2742 search results - page 537 / 549 » Deriving Category Theory from Type Theory |
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
CASES
2004
ACM
14 years 29 days ago
2004
ACM
This paper presents and reports on a VLIW code compression technique based on vector Hamming distances [19]. It investigates the appropriate selection of dictionary vectors such t...
MM
2004
ACM
14 years 29 days ago
2004
ACM
Bio-Fi is a collection of art projects undertaken by S.W.A.M.P. (Studies of Work Atmospheres and Mass Production), collaborative art projects by Douglas Easterly and Matt Kenyon. ...
ICAIL
2003
ACM
14 years 24 days ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
MSWIM
2003
ACM
14 years 24 days ago
2003
ACM
Errors introduced by a wireless medium are more frequent and profound than contemporary wired media. Some of these errors, which are not corrected by the physical layer, result in...