91 search results - page 2 / 19 » Confined modified realizability |
JNIT
2010
12 years 11 months ago
2010
MSCS
2006
13 years 4 months ago
2006
Modified bar recursion has been used to give a realizability interpretation of the classical axioms of countable and dependent choice. In this paper we survey the main results con...
IPPS
2006
IEEE
13 years 11 months ago
2006
IEEE
The novel design of an efficient FPGA interconnection architecture with multiple Switch Boxes (SB) and hardwired connections for realizing data intensive applications (i.e. DSP ap...
ICMCS
2006
IEEE
13 years 11 months ago
2006
IEEE
In this paper, temporal segmentation of 3D video based on motion analysis is presented. 3D video is a sequence of 3D models made for a real-world dynamic object. A modified shape ...
ECIS
2001
13 years 6 months ago
2001
A range of influences, technical and organizational, has encouraged the wide spread adaption of Enterprise Systems (ES). Nevertheless, there is a growing consensus that Enterprise...