1416 search results - page 186 / 284 » An Exact Interpretation of While |
FSTTCS
2005
Springer
14 years 3 months ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
ICMI
2005
Springer
14 years 3 months ago
2005
Springer
Visual information overload is a threat to the interpretation of displays presenting large data sets or complex application environments. To combat this problem, researchers have ...
MHCI
2005
Springer
14 years 3 months ago
2005
Springer
This paper reports the user study and design of a concept to improve mobile messaging for teens. A study of current mobile phone use by teens (16-18) showed that, while they prefe...
MICCAI
2005
Springer
14 years 3 months ago
2005
Springer
Real-time three-dimensional ultrasound (RT3D US) is an ideal imaging modality for the diagnosis of cardiac disease. RT3D US is a flexible, inexpensive, non-invasive tool that provi...
SEMWEB
2005
Springer
14 years 3 months ago
2005
Springer
We address the problem of linking observations from reality to a semantic web based knowledge base. Concepts in the biological domain are increasingly being formalized through ont...