2290 search results - page 261 / 458 » Extensible Protected Types |
160
click to vote
LICS
2008
IEEE
16 years 25 days ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
189
click to vote
ADAEUROPE
2008
Springer
16 years 24 days ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
171
click to vote
BIBE
2007
IEEE
16 years 24 days ago
2007
IEEE
—Array based Comparative Genomic Hybridization (CGH) is a molecular cytogenetic method for the detection of chromosomal imbalances and it has been extensively used for studying c...
154
click to vote
ICRA
2007
IEEE
16 years 23 days ago
2007
IEEE
— The polychaete annelid marine worms propel themselves in a variety of challenging locomotion environments by a unique form of tail-to-head body undulations, combined with the s...
151
click to vote
CPAIOR
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. This work presents methods for processing a constraint satisfaction problem (CSP) formulated by an expression-based language, before the CSP is presented to a stochastic ...