8933 search results - page 400 / 1787 » Usability over time |
193
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
362
click to vote
KDD
2012
ACM
13 years 9 months ago
2012
ACM
Display ads on the Internet are often sold in bundles of thousands or millions of impressions over a particular time period, typically weeks or months. Ad serving systems that ass...
152
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
We describe the use of a statistical technique called Tpattern analysis to derive and characterize the routineness of tasks. T-patterns provide significant advantages over traditi...
180
click to vote
AVBPA
2005
Springer
16 years 12 days ago
2005
Springer
For Pen-input on-line signature verification algorithms, the influence of intersession variability is a considerable problem because hand-written signatures change with time, causi...
168
click to vote
ICSOC
2005
Springer
16 years 11 days ago
2005
Springer
Web Services are entailing a major shift of perspective in software engineering: software is used and not owned, and operation happens on machines that are out of the user control....