1604 search results - page 167 / 321 » Development Separation in Lambda-Calculus |
125
Voted
SGP
2003
15 years 1 months ago
2003
As the logical next step after sequencing the mouse genome, biologists have developed laboratory methods for rapidly determining where each of the 30K genes in the mouse genome is...
ANLP
1994
15 years 1 months ago
1994
Many of the kinds of language model used in speech understanding suffer from imperfect modeling of intra-sentential contextual influences. I argue that this problem can be address...
108
click to vote
ACMDIS
2010
ACM
15 years 20 days ago
2010
ACM
Abstract. Engaging end-users and user communities to take an active part in the cocreation, evolution, and appropriation of modern, interactive systems has become an increasingly i...
ENGL
2008
15 years 16 days ago
2008
Deposition of dispersed and ultradispersed solid particles in cylindrical channels has received considerable attention due to its practical significance and direct application in i...
88
Voted
FUIN
2006
15 years 14 days ago
2006
In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semanti...