Search Results for Reasoning.

1.

Causal Reasoning and Machine Learning Models for Cellular Regulatory Mechanisms

by

Fakhry, Carl Tony, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10786109

Format:

Excerpt:

Causal Reasoning and Machine Learning Models for Cellular Regulatory Mechanisms / Fakhry, Carl Tony

2.

Combining Reasoning and Learning For Multi-Stage Inference in Computational Sustainability and Scientific Discovery

by

Xue, Yexiang, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10816540

Format:

Excerpt:

Combining Reasoning and Learning For Multi-Stage Inference in Computational Sustainability and

3.

Measuring the Role of Visualization on Missing Values in Time Series Data

by

Song, Hayeong, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10809054

Format:

Excerpt:

conclusions from their data while effectively reasoning about the quality of the data and resulting

4.

Modelling and planning dialogue from formal semantics

by

Funk, John Adam, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10836293

Format:

Excerpt:

dialogue in an interactive system can be managed by reasoning from a model grown as the dialogue progresses

5.

Formal reuse of hardware design

by

Viera de Melo, Ana Cristina, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10867587

Format:

Excerpt:

, and as a foundation for formally reasoning about the reuse of hardware design. Algebraic manipulation

6.

A Joint Parsing System for Visual Scene Understanding

by

Qi, Hang, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10825719

Format:

Excerpt:

formal queries. We present a benchmark for evaluating long-range recognition and event reasoning in

7.

Towards Efficient 3D Reconstructions from High-resolution Satellite Imagery

by

Wang, Ke, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10283656

Format:

Excerpt:

reconstructions to provide such correspondences, we formulate geometric modeling and semantic reasoning in a joint

8.

Balancing Performance and Energy in Computing Systems

by

Imes, Connor Kelly, author. (orcid)0000-0003-1683-8353

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10808973

Format:

Excerpt:

framework for reasoning about dynamic systems, including convergence guarantees and robustness to model

9.

Visual Analytics of Bi-Directional and Cluster Movements

by

Zheng, Yixian, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10903442

Format:

Excerpt:

leveraging their domain knowledge to guide the exploration for effective understanding, reasoning and

	{displayName}	{count}
{error}