Sciweavers

2187 search results - page 263 / 438
» Clustering with Interactive Feedback
Sort
View
SIGCSE
2009
ACM
155views Education» more  SIGCSE 2009»
16 years 7 months ago
Increasing engagement in automata theory with JFLAP
We describe the results from a two-year study with fourteen universities on presenting formal languages in a more visual, interactive and applied manner using JFLAP. In our result...
Susan H. Rodger, Eric Wiebe, Kyung Min Lee, Chris ...
TACAS
2010
Springer
162views Algorithms» more  TACAS 2010»
16 years 1 months ago
Computing the Leakage of Information-Hiding Systems
We address the problem of computing the information leakage of a system in an efficient way. We propose two methods: one based on reducing the problem to reachability, and the oth...
Miguel E. Andrés, Catuscia Palamidessi, Pet...
HAPTICS
2009
IEEE
16 years 1 months ago
Haptic augmented reality: Modulation of real object stiffness
Haptic augmented reality allows a user to feel the sensation of a real object augmented with synthetic haptic stimuli created by a haptic interface. For example, the user feels a ...
Seokhee Jeon, Seungmoon Choi
ICASSP
2009
IEEE
16 years 1 months ago
A study of pronunciation verification in a speech therapy application
Techniques are presented for detecting phoneme level mispronunciations in utterances obtained from a population of impaired children speakers. The intended application of these ap...
Shou-Chun Yin, Richard Rose, Oscar Saz, Eduardo Ll...
ICRA
2009
IEEE
164views Robotics» more  ICRA 2009»
16 years 1 months ago
Information retrieval system for human-robot communication - Asking for directions
— The creation of a robot capable of navigating in unknown urban environments without the use of GPS data or prior map knowledge is envisioned in the Autonomous City Explorer (AC...
Andrea Maria Bauer, Dirk Wollherr, Martin Buss