8933 search results - page 203 / 1787 » Usability over time |
171
click to vote
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...
157
click to vote
MOR
2006
15 years 6 months ago
2006
We describe an extension procedure for constructing new standardized time series procedures from existing ones. The approach is based on averaging over sample paths obtained by per...
200
click to vote
PPOPP
2011
ACM
14 years 9 months ago
2011
ACM
Time skewing and loop tiling has been known for a long time to be a highly beneficial acceleration technique for nested loops especially on bandwidth hungry multi-core processors...
141
click to vote
COMPLEX
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present our ongoing work on developing a framework for detecting time-varying communities on human mobile networks. We define the term community in environments ...
150
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We study time delay estimation (TDE) on parallel channels with flat fading. Several models for the channel gains are considered, and for each case we present the the maximum like...