• 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...
  • WESAD

  • Referenced in 3 articles [sw39780]
  • with the goal to e.g. improve human-computer interaction. Long-term stress is known...
  • 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 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • InterViewer

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

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

  • Referenced in 13460 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...
  • DrScheme

  • Referenced in 29 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 258 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...
  • SPIN

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

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