6224 search results - page 105 / 1245 » Recent Advances in Networking |
TLCA
2007
Springer
14 years 4 months ago
2007
Springer
Inspired by recent work on normalisation by evaluation for sums, we propose a normalising and confluent extensional rewriting theory for the simply-typed λ-calculus extended with...
CCECE
2006
IEEE
14 years 4 months ago
2006
IEEE
Virtual Reality (VR) has gained more popularity in the recent years due to the advancements in hardware technology, an advancement that eliminated much of the limitations that VR ...
MATA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Recent advances in materials, sensing, power harvesting, contextawareness and miniaturisation have opened-up the possibility of constructing materials that directly inclu...
CLOR
2006
14 years 1 months ago
2006
Recent advances in object recognition have emphasized the integration of intensity-derived features such as affine patches with associated geometric constraints leading to impressi...
IJMC
2006
13 years 10 months ago
2006
: M-learning is a rapidly expanding recently domain. Provoked by the fast advances of mobile technologies different applications and systems are developed continuously. Here we add...