3001 search results - page 583 / 601 » Recursive type generativity |
116
click to vote
ENGL
2007
15 years 1 months ago
2007
— The paper aims at designing a scheme for automatic identification of a species from its genome sequence. A set of 64 three-tuple keywords is first generated using the four type...
86
Voted
ENVSOFT
2007
15 years 1 months ago
2007
A multi-agent model of social and environmental complexity of deforestation was developed for the Caparo Forest Reserve, Venezuela. It includes three types of agents: settlers, go...
140
click to vote
KAIS
2006
15 years 1 months ago
2006
XML has already become the de facto standard for specifying and exchanging data on the Web. However, XML is by nature verbose and thus XML documents are usually large in size, a fa...
121
click to vote
FAC
2007
15 years 1 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
113
click to vote
GPEM
2007
15 years 1 months ago
2007
Abstract. A fundamental issue in evolutionary biology is the transition from unicellular to multicellular organisms, and the cellular differentiation that accompanies the increase...