1636 search results - page 154 / 328 » Type-Theoretic Functional Semantics |
125
click to vote
CSL
2008
Springer
15 years 5 months ago
2008
Springer
Type-based termination is a semantically intuitive method that ensures termination of recursive definitions by tracking the size of datatype elements, and by checking that recursiv...
97
Voted
BMCBI
2006
15 years 4 months ago
2006
Background: Genomic functional information is valuable for biomedical research. However, such information frequently needs to be extracted from the scientific literature and struc...
141
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
This paper define the semantics of MinAML, an idealized aspect-oriented programming language, by giving a typedirected translation from its user-friendly external language to its ...
140
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper addresses the problem of classifying places in the environment of a mobile robot into semantic categories. We believe that semantic information about the type of pla...
113
click to vote
IJCINI
2007
15 years 3 months ago
2007
Language is primarily a physical, and more particularly a biological phenomenon. To say that it is primarily so is to say that that is how, in the first instance, it presents itse...