5055 search results - page 345 / 1011 » Relative Timing |
197
click to vote
CICLING
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. Automatic plagiarism detection considering a reference corpus compares a suspicious text to a set of original documents in order to relate the plagiarised fragments to th...
194
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Being mobile influences not only the types of information people seek but also the ways they attempt to access it. Mobile contexts present challenges of changing location and soci...
194
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Menus are a primary control in current interfaces, but there has been relatively little theoretical work to model their performance. We propose a model of menu performance that go...
188
click to vote
SOFSEM
2010
Springer
16 years 4 months ago
2010
Springer
An arc-annotated string is a string of characters, called bases, augmented with a set of pairs, called arcs, each connecting two bases. Given arc-annotated strings P and Q the arc-...
225
click to vote
VMCAI
2009
Springer
16 years 2 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...