Sciweavers

2214 search results - page 115 / 443
» complexity 2004
Sort
View
JCDL
2004
ACM
85views Education» more  JCDL 2004»
14 years 2 months ago
Improving video browsing with an eye-tracking evaluation of feature-based color bars
This paper explains a method for leveraging the standard video timeline widget as an interactive visualization of image features. An eye-tracking experiment is described with resu...
Neema Moraveji
SIGOPSE
2004
ACM
14 years 2 months ago
Undo for anyone, anywhere, anytime
Computer systems are complex and unforgiving. Users need environments more tolerant of errors, allowing them to correct mistakes and explore alternatives. This is the aim of Joyce...
James O'Brien, Marc Shapiro
ADC
2004
Springer
90views Database» more  ADC 2004»
14 years 2 months ago
Representing and Reasoning on XForms Document
Forms are the most common way to interface users and Web-based applications. Traditional forms cannot provide the functionality needed to fulfil the requirements of complex appli...
Peng Yew Cheow, Guido Governatori
ADS
2004
Springer
14 years 2 months ago
Experiences with an Emotional Sales Agent
With COSIMAB2B we demonstrate a prototype of a complex and visionary e-procurement application. The embodied character agent named COSIMA is able to respect a customer's prefe...
Stefan Fischer 0003, Sven Döring, Matthias Wi...
AMAI
2004
Springer
14 years 2 months ago
Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits
This paper studies the relative proof complexity of variations of a tableau method for Boolean circuit satisfiability checking obtained by restricting the use of the cut rule in s...
Matti Järvisalo, Tommi A. Junttila, Ilkka Nie...