842 search results - page 97 / 169 » About the authors |
TLCA
2007
Springer
14 years 5 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
AICT
2006
IEEE
14 years 5 months ago
2006
IEEE
Spoken language education plays an important role in modern language courses. Computer-based spoken language test systems provide a convenient, efficient and reliable approach to ...
ASWEC
2006
IEEE
14 years 5 months ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
ESCIENCE
2006
IEEE
14 years 5 months ago
2006
IEEE
In this paper, we describe the Vannotea system - an application designed to enable collaborating groups to discuss and annotate collections of high quality images, video, audio or...
ACMDIS
2006
ACM
14 years 5 months ago
2006
ACM
The History Tablecloth is a flexible substrate screen-printed with electroluminescent material forming a grid of lace-like elements. When objects are left on the table, cells bene...