2632 search results - page 240 / 527 » Alternating Timed Automata |
118
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
We present PygmyBrowse, a browser that allows users to navigate a tree data structure in a limited amount of display space. A pilot evaluation of PygmyBrowse was conducted, and re...
192
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
There has recently been considerable research on physical design tuning algorithms. At the same time, there is only one published methodology to evaluate the quality of different,...
122
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
Sampling error due to jitter, or noise in the sample times, affects the precision of analog-to-digital converters in a significant, nonlinear fashion. In this paper, a polynomial...
131
Voted
IWPEC
2009
Springer
15 years 10 months ago
2009
Springer
We give improvements over fixed parameter tractable (FPT) algorithms to solve the Kemeny aggregation problem, where the task is to summarize a multi-set of preference lists, call...
136
click to vote
HASE
2008
IEEE
15 years 10 months ago
2008
IEEE
Current annotation technologies suffer from poor coverage over the development process phases, limited support for the broad scope of the security requirement types and inadequate...