703 search results - page 50 / 141 » Fundamentals of Session Types |
106
click to vote
ER
2008
Springer
15 years 1 months ago
2008
Springer
In a series of publications, we have proposed a foundational system of ontological categories which has been successfully used to evaluate and improve the quality of conceptual mod...
80
Voted
FLAIRS
2004
15 years 1 months ago
2004
Aperiodic dynamics are known to be essential in the formation of perceptual mechanisms and representations in biological organisms. Advances in neuroscience and computational neur...
ISMB
2000
15 years 1 months ago
2000
The repetitive structure of genomic DNA holds many secrets to be discovered. A systematic study of repetitive DNA on a genomic or inter-genomic scale requires extensive algorithmi...
71
Voted
AAAI
1990
15 years 1 months ago
1990
We have developed two systems, FN and ANDD, that use natural language and graphical displays, respectively, to communicate information about objects to human users. Both systems m...
IJAC
2007
14 years 11 months ago
2007
In this paper we consider Property (FA) for lattices in SU(2, 1). First, we prove that SU(2, 1; O3) has Property (FA). We then prove that the arithmetic lattices in SU(2, 1) of se...