4190 search results - page 439 / 838 » Type Class Directives |
192
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
190
click to vote
BIBE
2010
IEEE
15 years 7 months ago
2010
IEEE
—Often groups of genes in regulatory networks, also called modules, work collaboratively on similar functions. Mathematically, the modules in a regulatory network has often been ...
160
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
174
click to vote
ENGL
2008
15 years 7 months ago
2008
Electronic information display systems are widely used in public places. The increase in use of light-emitting diodes (LED) display arouses our interest in the effective methods of...
163
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
The ongoing paradigm change in the scholarly publication system (`science is turning to e-science') makes it necessary to construct alternative evaluation criteria/metrics wh...