580 search results - page 15 / 116 » Building a Family of Compilers |
CASCON
2003
13 years 9 months ago
2003
The development of large software systems involves a continual lengthy build process that may include preprocessing, compilation and linking of tens of thousands of source code ï¬...
WADS
2007
Springer
14 years 1 months ago
2007
Springer
Building on the work of Martinetz, Schulten and de Silva, Carlsson, we introduce a 2-parameter family of witness complexes and algorithms for constructing them. This family can be ...
ENTCS
2008
13 years 7 months ago
2008
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
ICAI
2007
13 years 9 months ago
2007
– The current approaches for linking information across sources, often called record linkage, require finding common attributes between the sources and comparing the records usin...
AAAI
1990
13 years 8 months ago
1990
Qualitative reasoning can, and should, be decomposed into a model-building task, which creates a qualitative differential equation (QDE) as a model of a physical situation, and a ...