169 search results - page 27 / 34 » A type system for well-founded recursion |
3DPVT
2002
IEEE
14 years 19 days ago
2002
IEEE
We describe initial work on a system for augmenting video sequences with 3-D graphics so that they appear to be present within the scene. Our aim is to do this in realtime for seq...
COLING
2010
13 years 2 months ago
2010
We present a transformation scheme that mediates between description logics (DL) or RDF-encoded ontologies and type hierarchies in feature logics (FL). The DL-to-FL direction is i...
ICFP
2004
ACM
14 years 7 months ago
2004
ACM
It is possible to extend the basic notion of "function call" to allow functions to have multiple return points. This turns out to be a surprisingly useful mechanism. Thi...
AICT
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we investigate the call blocking probability calculations in the uplink of W-CDMA mobile cellular networks. In these networks, we distinguish two types of blocking,...
ICALP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...