535 search results - page 60 / 107 » Do we need dependent types |
COLING
2002
13 years 7 months ago
2002
Parsli is a finite-state (FS) parser which can be tailored to the lexicon, syntax, and semantics of a particular application using a hand-editable declarative lexicon. The lexicon...
CHES
2008
Springer
13 years 9 months ago
2008
Springer
Dynamically reconfigurable systems are known to have many advantages such as area and power reduction. The drawbacks of these systems are the reconfiguration delay and the overhead...
PICS
2003
13 years 9 months ago
2003
In order to recover spectral reflectances or transmittances using a multispectral imaging based technique, it is necessary to know the spectral radiance of the illuminant used to ...
ICSM
2009
IEEE
14 years 2 months ago
2009
IEEE
Error recovery is an integral concern in compilers. Improving error recovery requires comprehension of a large and complex code base, in order to locate the places which raise err...
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
— Transmission scheduling is a key design problem in wireless multi-hop networks and many scheduling algorithms have been proposed to maximize the spatial reuse and minimize the ...