Sciweavers

5984 search results - page 897 / 1197
» The Informal Nature of Systems Engineering
Sort
View
IUI
2010
ACM
16 years 3 months ago
Rush: repeated recommendations on mobile devices
We present rush as a recommendation-based interaction and visualization technique for repeated item selection from large data sets on mobile touch screen devices. Proposals and ch...
Dominikus Baur, Sebastian Boring, Andreas Butz
IUI
2010
ACM
16 years 3 months ago
Aspect-level news browsing: understanding news events from multiple viewpoints
Aspect-level news browsing provides readers with a classified view of news articles with different viewpoints. It facilitates active interactions with which readers easily discove...
Souneil Park, Sang Jeong Lee, Junehwa Song
KBSE
2009
IEEE
16 years 1 months ago
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
Lucas Cordeiro, Bernd Fischer, João Marques...
SEKE
2009
Springer
16 years 1 months ago
Detecting Defects with an Interactive Code Review Tool Based on Visualisation and Machine Learning
Code review is often suggested as a means of improving code quality. Since humans are poor at repetitive tasks, some form of tool support is valuable. To that end we developed a p...
Stefan Axelsson, Dejan Baca, Robert Feldt, Darius ...
UIST
2009
ACM
16 years 1 months ago
User guided audio selection from complex sound mixtures
In this paper we present a novel interface for selecting sounds in audio mixtures. Traditional interfaces in audio editors provide a graphical representation of sounds which is ei...
Paris Smaragdis