Sciweavers

4745 search results - page 115 / 949
» Discretization: An Enabling Technique
Sort
View
BCSHCI
1997
15 years 7 months ago
BUILD-IT: A Computer Vision-based Interaction Technique for a Planning Tool
In this article we wish to show a method to go beyond the established approaches of human-computer interaction. We first bring a serious critique of traditional interface types, sh...
Matthias Rauterberg, Morten Fjeld, Helmut Krueger,...
USENIX
2000
15 years 7 months ago
Techniques for the Design of Java Operating Systems
Language-basedextensible systems, such as Java Virtual Machines and SPIN, use type safety to provide memory safety in a single address space. By using software to provide safety, ...
Godmar Back, Patrick Tullmann, Leigh Stoller, Wils...
ENTCS
2006
136views more  ENTCS 2006»
15 years 6 months ago
Adaptive Application of SAT Solving Techniques
New heuristics and strategies have enabled major advancements in SAT solving in recent years. However, experimentation has shown that there is no winning solution that works in al...
Ohad Shacham, Karen Yorav
JUCS
2008
187views more  JUCS 2008»
15 years 6 months ago
Semantic Information in Medical Information Systems: Utilization of Text Mining Techniques to Analyze Medical Diagnoses
: Most information in Hospitals is still only available in text format and the amount of this data is immensely increasing. Consequently, text mining is an essential area of medica...
Andreas Holzinger, Regina Geierhofer, Felix Mö...
NGC
2006
Springer
15 years 6 months ago
Story Planning as Exploratory Creativity: Techniques for Expanding the Narrative Search Space
The authoring of fictional stories is considered a creative process. The purpose of most story authoring is not to invent a new style or genre of story that will be accepted by the...
Mark O. Riedl, R. Michael Young