412 search results - page 47 / 83 » Innovations in computational type theory using Nuprl |
TPHOL
2002
IEEE
14 years 25 days ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
LREC
2008
13 years 9 months ago
2008
In this paper two highly innovative digital editions will be presented. For the creation and the implementation of these editions the latest developments within corpus research ha...
MOBIHOC
2000
ACM
14 years 8 days ago
2000
ACM
ln the future, wireless networking will be embedded into a wide variety of common, everyday objects [1]. In many embedded networking situations, the communicating nodes will be ver...
SAC
2010
ACM
14 years 2 months ago
2010
ACM
Peer-to-peer (P2P) storage is a promising technology to provide users with cheap and online persistence. However, due the instability of these infrastructures, P2P storage systems...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
We attack the problem of user fatigue by using an interactive genetic algorithm to evolve user interfaces in the XUL interface definition language. The interactive genetic algori...