1
Published 2005
Table of Contents: ... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... -- A COMPUTATIONAL METHOD FOR SOLVING CAUCHY PROBLEMS OF ELLIPTIC OPERATORS -- NUMERICAL DETERMINATION...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Deformable Structures Markerless Tracking in Laparoscopic Cholecystectomy -- A Framework for Optimization...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Optimization Problems -- Solving Bin Packing Problem with a Hybridization of Hard Computing and Soft Computing...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Strategy for Ambient Intelligence -- Dialogue Manager for a NLIDB for Solving the Semantic Ellipsis Problem...
View full text
Electronic eBook