1280 search results - page 44 / 256 » Soft Typing with Conditional Types |
ICEIS
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...
BMCBI
2005
13 years 9 months ago
2005
Background: Multiple genome alignment is an important problem in bioinformatics. An important subproblem used by many multiple alignment approaches is that of aligning two multipl...
CORR
2006
Springer
13 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...
SIAMCO
2008
13 years 9 months ago
2008
We consider two classes of semilinear wave equations with nonnegative damping which may be of type "on
IJRR
2002
13 years 8 months ago
2002
In this paper, we study the isotropic design of two types of spatial parallel manipulators: a three-degrees-of-freedom manipulator and the Stewart