Sciweavers

2830 search results - page 120 / 566
» No Science without Semantics
Sort
View
DILS
2005
Springer
14 years 1 months ago
Data Integration in the Biomedical Informatics Research Network (BIRN)
A goal of the Biomedical Informatics Research Network (BIRN) project sponsored by NCRR/NIH is to develop a multiinstitution information management system for Neurosciences, where e...
Vadim Astakhov, Amarnath Gupta, Simone Santini, Je...
FCT
2005
Springer
14 years 1 months ago
A Self-dependency Constraint in the Simply Typed Lambda Calculus
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...
Aleksy Schubert
HICSS
2003
IEEE
110views Biometrics» more  HICSS 2003»
14 years 1 months ago
Phobos: A Front-End Approach to Extensible Compilers
Abstract. This paper describes a practical approach for implementing certain types of domain-specific languages with extensible compilers. Given a compiler with one or more front-...
Adam Granicz, Jason Hickey
INFSOF
2002
52views more  INFSOF 2002»
13 years 7 months ago
Molecule-oriented programming in Java
Molecule-oriented programming is introduced as a programming style carrying some perspective for Java. A sequence of examples is provided. Supporting the development of the molecu...
Jan A. Bergstra
DLOG
2009
13 years 5 months ago
Relativizing Concept Descriptions to Comparison Classes
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge ha...
Szymon Klarman, Stefan Schlobach