Searching for "Constructive Interactions." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

987 documents found, showing 1 through 10. Next 10 →

Constructing Interactive Network Visual Interfaces
by Taosong He, Stephen G. Eick — 1998
…1 Constructing Interactive Network Visual Interfaces Taosong He and Stephen G. Eick Bell…
Cited by 3 (0 self) – Add To MetaCart

HARMONIA: A Flexible Framework for Constructing Interactive
by Language-Based Programming Tools
…Despite many attempts in both research and industry to develop successful language-based software engineering tools, the resulting systems consistently fail to become adopted by working programmers.…
Add To MetaCart

A Framework of Greedy Methods for Constructing Interaction Test Suites
by Renee C. Bryce, Charles J. Colbourn, Myra B. Cohen — 2005 — Intl. Conf. on Software Engineering (ICSE’05
…A Framework of Greedy Methods for Constructing Interaction Test Suites Renée C. Bryce and Charles…
Cited by 10 (3 self) – Add To MetaCart

Taclets: A New Paradigm for Constructing Interactive Theorem Provers
by Bernhard Beckert, Bernhard Beckert, Martin Giese, Martin Giese, Elmar Habermalz, Philipp Rümmer, Reiner Hähnle, Reiner Hähnle, Andreas Roth, Andreas Roth, Steffen Schlager, Steffen Schlager — 2004 — Ciencias Exactas, Físicas y Naturales, Serie A: Matemáticas, 98(1), 2004. Special Issue on Symbolic Computation in Logic and Artificial Intelligence
…Taclets: A New Paradigm for Constructing Interactive Theorem Provers Bernhard Beckert, Martin…
Cited by 21 (8 self) – Add To MetaCart

Taclets: A New Paradigm for Constructing Interactive Theorem Provers
by Rev Acad Cien, Cien Serie, A. Mat, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Andreas Roth, Steffen Schlager
… Paradigm for Constructing Interactive Theorem Provers Bernhard Beckert, Martin Giese, Elmar Habermalz…
Add To MetaCart

HARMONIA: A Flexible Framework for Constructing Interactive Language-Based Programming Tools
by Marat Boshernitsan — 2001
…HARMONIA: A Flexible Framework for Constructing Interactive Language-Based Programming Tools Marat…
Cited by 17 (6 self) – Add To MetaCart

, and Construction of Interactive Electronic Conference Proceedings
by SAMUEL A. REBELSKY, FILLIA Makedon, Peter A. Gloor, James Ford, Charles Owen, Oliver Van Ligten — 1995 — ACM Transactions on Information Systems. Forthcoming
… in the Design, Use, and Construction of Interactive Electronic Conference Proceedings SAMUEL A. REBELSKY 1…
Add To MetaCart

Highly Parallel Fast KD-tree Construction for Interactive Ray Tracing of Dynamic Scenes
by Maxim Shevtsov, Alexei Soupikov, Er Kapustin
… Parallel Fast KD-tree Construction for Interactive Ray Tracing of Dynamic Scenes Maxim Shevtsov, Alexei…
Cited by 1 (0 self) – Add To MetaCart

The OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User
by Alan Borning, Bjorn N. Freeman-Benson — 1995 — In Proceedings of the First International Conference on Principles and Practice of Constraint Programming
…The OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User…
Cited by 31 (6 self) – Add To MetaCart

DÉJÀ VU -- A Reusable Framework for the Construction of Intelligent Interactive Schedulers
by Jürgen Dorn , Mario Girsch, Nikos Vidakis — 1998 — OF INTELLIGENT INTERACTIVE SCHEDULERS, ADVANCES IN PRODUCTION MANAGEMENT SYSTEMS, OKINO
…DJ VU -- A Reusable Framework for the Construction of Intelligent Interactive Schedulers Jrgen…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB