1636 search results - page 195 / 328 » Type-Theoretic Functional Semantics |
161
click to vote
CSCW
1994
ACM
15 years 8 months ago
1994
ACM
The need to merge different versions of an object toa common state arises in collaborative computing due to several reasons including optimistic concurrency control, asynchronous ...
174
click to vote
CIBCB
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract-- The advance of high-throughput experimental technologies poses continuous challenges to computational data analysis in functional and comparative genomics studies. Gene ...
153
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
The Probabilistic Adaptive Mapping Developmental Genetic Programming (PAM DGP) algorithm that cooperatively coevolves a population of adaptive mappings and associated genotypes is...
156
Voted
PAMI
2008
15 years 4 months ago
2008
This paper proposes an image segmentation method named iterative region growing using semantics (IRGS), which is characterized by two aspects. First, it uses graduated increased ed...
154
click to vote
JFP
2010
15 years 2 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...