412 search results - page 24 / 83 » Innovations in computational type theory using Nuprl |
CANDC
2005
ACM
13 years 10 months ago
2005
ACM
The Human-Computer Interaction community has long been concerned with design. Terms such as ‘creativity’ and ‘innovation’ are frequently used when referring to the design ...
CATS
2007
13 years 9 months ago
2007
In order to represent, compute and reason with advanced data types one must go beyond the traditional treatment of data types as being inductive types and, instead, consider them ...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
SAC
2004
ACM
14 years 1 months ago
2004
ACM
XML data can be stored in different databases including ObjectRelational Database (ORDB). Using ORDB, we get the benefit of the relational maturity and the richness of OO modeling...
EKAW
2004
Springer
14 years 1 months ago
2004
Springer
This paper describes a particular knowledge acquisition tool for the construction and maintenance of the knowledge model of an intelligent system for emergency management in the fi...