2335 search results - page 397 / 467 » Type Checking Type Classes |
WINET
1998
13 years 8 months ago
1998
Abstract— A dual rate synchronous DS/CDMA system provides service to low bit rate and high bit rate users. In a fixed duration interval, a low rate user transmits one bit while ...
TSE
2002
13 years 8 months ago
2002
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...
JFP
2010
13 years 7 months ago
2010
The aim of our work is to be able to do fully formal, machine verified proofs over Generic Haskellstyle polytypic programs. In order to achieve this goal, we embed polytypic prog...
JUCS
2010
13 years 7 months ago
2010
: The promise of smart buildings (SBs) is a safer more productive environment for users and a more operationally efficient building for owners. The automation of building function ...
MICCAI
2010
Springer
13 years 7 months ago
2010
Springer
We address a novel problem domain in the analysis of optical coherence tomography (OCT) images: the diagnosis of multiple macular pathologies in retinal OCT images. The goal is to ...