Autor der Publikation

Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach.

, , und . AIMDM, Volume 1620 von Lecture Notes in Computer Science, Seite 185-196. Springer, (1999)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Newton: Constraint Programming over Nonlinear Real Constraints, , und . Science of Computer Programming, 30 (1--2): 83--118 (1998)Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach., , und . AIMDM, Volume 1620 von Lecture Notes in Computer Science, Seite 185-196. Springer, (1999)CLP(Intervals) Revisited., , und . ILPS, Seite 124-138. MIT Press, (1994)An Extension of the WAM for Hybrid Interval Solvers., , und . J. Funct. Log. Program., (1999)Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving., und . Reliab. Comput., 3 (3): 335-344 (1997)Progress in the Solving of a Circuit Design Problem., und . J. Glob. Optim., 20 (2): 155-168 (2001)Automated reasoning on monotonic constraints., und . ICTAI, Seite 401-. IEEE Computer Society, (2000)Improved bounds on the complexity of kB-consistency., , und . IJCAI, Seite 303-308. Morgan Kaufmann, (2001)Universally Quantified Interval Constraints., und . CP, Volume 1894 von Lecture Notes in Computer Science, Seite 67-82. Springer, (2000)The octagon abstract domain for continuous constraints., , und . Constraints An Int. J., 19 (3): 309-337 (2014)