• HuGS

  • Referenced in 6 articles [sw10598]
  • Search (HuGS) project, an effort to investigate interactive optimization. HuGS provides simple and general visual ... developed using it. User experiments show that human guidance can improve the performance of powerful ... algorithms. Although HuGS was designed for human-computer interaction, for two different problems we have...
  • 6DMG

  • Referenced in 2 articles [sw15488]
  • gestures form a complementary modality in human-computer interactions. To achieve more robust user-independent...
  • Mozart

  • Referenced in 20 articles [sw04759]
  • constraint-based inference, distributed computing, and human-computer interfaces. As a result, Mozart is unequalled ... expressive power and functionality. Mozart has an interactive incremental development environment and a production-quality...
  • hmm-scalable

  • Referenced in 1 article [sw38427]
  • author was a post-doc at Human-Computer Interaction Institute, Carnegie Mellon University...
  • JACIE

  • Referenced in 1 article [sw02264]
  • facto standard for human-computer interaction and human-human communication, so it is desirable...
  • Pocketsphinx

  • Referenced in 1 article [sw39130]
  • wide range of research opportunities in human-computer interactive applications. Unfortunately, most of the work...
  • GazeR

  • Referenced in 1 article [sw33775]
  • science and psycholinguistics to marketing and human-computer interaction. Surprisingly, there is little consistency...
  • ImproteK

  • Referenced in 2 articles [sw31404]
  • control, authoring, and composition in human-computer music improvisation through the description of a guided ... both implemented in the software ImproteK. This interactive music system is used with expert improvisers...
  • ACL2

  • Referenced in 279 articles [sw00060]
  • ACL2 is both a programming language in which...
  • InterViewer

  • Referenced in 28 articles [sw00443]
  • InterViewer: Dynamic visualization of protein-protein interactions From...
  • Mathematica

  • Referenced in 6090 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12640 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • QOCA

  • Referenced in 30 articles [sw00756]
  • We describe an object-oriented constraint solving toolkit...
  • RegStab

  • Referenced in 2 articles [sw00794]
  • We describe the system RegStab (for regular schemata...
  • Shimba

  • Referenced in 7 articles [sw01242]
  • Shimba -- an environment for reverse engineering Java software...
  • DrScheme

  • Referenced in 30 articles [sw01265]
  • DrScheme is a programming environment for Scheme. It...
  • Smalltalk

  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • VAMPIRE

  • Referenced in 241 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...
  • SPIN

  • Referenced in 716 articles [sw03455]
  • Spin is a popular open-source software tool...
  • PVS

  • Referenced in 625 articles [sw03484]
  • PVS is a verification system: that is, a...