279 search results - page 37 / 56 » Typability in Partial Applicative Structures |
IPMI
1999
Springer
14 years 8 months ago
1999
Springer
The estimation of soft tissue deformation from 3D image sequences is an important problem in a number of fields such as diagnosis of heart disease and image guided surgery. In thi...
VLDB
2001
ACM
14 years 7 months ago
2001
ACM
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
VLDB
2007
ACM
14 years 7 months ago
2007
ACM
Autocompletion is a widely deployed facility in systems that require user input. Having the system complete a partially typed "word" can save user time and effort. In th...
PRIB
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The rapidly emerging field of metagenomics seeks to examine the genomic content of communities of organisms to understand their roles and interactions in an ecosystem. I...
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
— In their landmark paper Cover and El Gamal proposed different coding strategies for the relay channel with a single relay supporting a communication pair. These strategies are ...