703 search results - page 89 / 141 » Fundamentals of Session Types |
CORR
2006
Springer
14 years 9 months ago
2006
Springer
The decision tree is one of the most fundamental ing abstractions. A commonly used type of decision tree is the alphabetic binary tree, which uses (without loss of generality) &quo...
BMCBI
2007
14 years 9 months ago
2007
Background: Peptidases are proteolytic enzymes responsible for fundamental cellular activities in all organisms. Apparently about 2–5% of the genes encode for peptidases, irresp...
PVLDB
2010
14 years 8 months ago
2010
Mobile commerce and location based services (LBS) are some of the fastest growing IT industries in the last five years. Location update of mobile clients is a fundamental capabil...
CC
2003
Springer
15 years 3 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
CVPR
2009
IEEE
16 years 4 months ago
2009
IEEE
Edge detection in images has been a fundamental problem
in computer vision from its early days. Edge detection
on surfaces, on the other hand, has received much less attention.
...