Sciweavers

243 search results - page 15 / 49
» Interactive Search Refinement Techniques for HARD Tasks
Sort
View
DAC
2006
ACM
14 years 9 months ago
Formal analysis of hardware requirements
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
Ingo Pill, Simone Semprini, Roberto Cavada, Marco ...
LION
2010
Springer
188views Optimization» more  LION 2010»
14 years 1 months ago
Grapheur: A Software Architecture for Reactive and Interactive Optimization
Abstract This paper proposes a flexible software architecture for interactive multiobjective optimization, with a user interface for visualizing the results and facilitating the s...
Mauro Brunato, Roberto Battiti
MM
2004
ACM
81views Multimedia» more  MM 2004»
14 years 2 months ago
Interactive manipulation of replay speed while listening to speech recordings
Today’s interfaces for time-scaled audio replay have limitations especially regarding highly interactive tasks such as skimming and searching, which require quick temporary spee...
Wolfgang Hürst, Tobias Lauer, Georg Götz
ATAL
2007
Springer
14 years 2 months ago
Interactions between market barriers and communication networks in marketing systems
We investigate a framework where agents search for satisfying products by using referrals from other agents. Our model of a mechanism for transmitting word-of-mouth and the result...
Ian N. Durbach, Jan H. Hofmeyr
CIVR
2008
Springer
165views Image Analysis» more  CIVR 2008»
13 years 10 months ago
Balancing thread based navigation for targeted video search
Various query methods for video search exist. Because of the semantic gap each method has its limitations. We argue that for effective retrieval query methods need to be combined ...
Ork de Rooij, Cees G. M. Snoek, Marcel Worring