4355 search results - page 271 / 871 » From Interpretation to Compilation |
173
click to vote
ALIFE
2007
15 years 6 months ago
2007
This review essay surveys recent literature in the history of science, literary theory, anthropology, and art criticism dedicated to exploring how the artificial life enterprise ha...
165
click to vote
ENTCS
2010
15 years 6 months ago
2010
The validity/satisfiability problem for most propositional interval temporal logics is (highly) undecidable, under very weak assumptions on the class of interval structures in whi...
148
click to vote
ENTCS
2008
15 years 6 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
178
click to vote
IJON
2008
15 years 6 months ago
2008
Identifiability becomes an essential requirement for learning machines when the models contain physically interpretable parameters. This paper presents two approaches to examining...
175
click to vote
CSDA
2007
15 years 6 months ago
2007
DIVCLUS-T is a divisive hierarchical clustering algorithm based on a monothetic bipartitional approach allowing the dendrogram of the hierarchy to be read as a decision tree. It i...