Sciweavers

719 search results - page 33 / 144
» Brain-Computer Interfacing for Intelligent Systems
Sort
View
BIRTHDAY
2008
Springer
13 years 10 months ago
SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets
Abstract. Starting from existing spreadsheet software, like Lotus 1-23R , ExcelR , or Spreadsheet 2000R , we propose a sequence of enhancements to fully integrate constraint-based ...
Nachum Dershowitz, Claude Kirchner
BMCBI
2011
13 years 7 days ago
Acorn: A grid computing system for constraint based modeling and visualization of the genome scale metabolic reaction networks v
Background: Constraint-based approaches facilitate the prediction of cellular metabolic capabilities, based, in turn on predictions of the repertoire of enzymes encoded in the gen...
Jacek Sroka, Lukasz Bieniasz-Krzywiec, Szymon Gwoz...
IUI
2006
ACM
14 years 2 months ago
Fewer clicks and less frustration: reducing the cost of reaching the right folder
Helping computer users rapidly locate files in their folder hierarchies has become an important research topic in today’s intelligent user interface design. This paper reports o...
Xinlong Bao, Jonathan L. Herlocker, Thomas G. Diet...
FLAIRS
2000
13 years 10 months ago
The SH-Verification Tool
r Abstractions + Enduser Interface Analysis Kernel Tools for System Specification Enduser Interface Temporal Logic Homomorphism Editor Preamble Editor Hierarchy Editor APA EditorNe...
Peter Ochsenschläger, Jürgen Repp, Rolan...
ITS
2004
Springer
130views Multimedia» more  ITS 2004»
14 years 2 months ago
Opening the Door to Non-programmers: Authoring Intelligent Tutor Behavior by Demonstration
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...
Kenneth R. Koedinger, Vincent Aleven, Neil T. Heff...