870 search results - page 145 / 174 » Constructions for Difference Triangle Sets |
INFOVIS
2005
IEEE
14 years 1 months ago
2005
IEEE
We present the Visual Code Navigator, a set of three interrelated visual tools that we developed for exploring large source code software projects from three different perspective...
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
IPMI
2005
Springer
14 years 1 months ago
2005
Springer
Automatic multi-modal image registration is central to numerous tasks in medical imaging today and has a vast range of applications e.g., image guidance, atlas construction, etc. ...
EKAW
2008
Springer
13 years 9 months ago
2008
Springer
With the advent of the Web and the efforts towards a Semantic Web the nature of knowledge engineering has changed drastically. In this position paper we propose four principles fo...
BMCBI
2008
13 years 7 months ago
2008
Background: In the present investigation, we have used an exhaustive metabolite profiling approach to search for biomarkers in recombinant Aspergillus nidulans (mutants that produ...