3864 search results - page 154 / 773 » time 2005 |
153
click to vote
ARCS
2005
Springer
15 years 12 months ago
2005
Springer
The power consumption of peripheral devices is a significant portion of the overall energy usage of a mobile platform. To take advantage of idle times, most devices offer the abi...
170
click to vote
KI
2006
Springer
15 years 6 months ago
2006
Springer
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
142
click to vote
RECOMB
2005
Springer
16 years 6 months ago
2005
Springer
Abstract. Current numerical methods for assessing the statistical significance of local alignments with gaps are time consuming. Analytical solutions thus far have been limited to ...
148
click to vote
LICS
2005
IEEE
16 years 4 hour ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
164
click to vote
CPM
2005
Springer
15 years 12 months ago
2005
Springer
A square is the concatenation of two identical non-empty strings. Let S be the input string which is given character by character. Let m be the (unknown) smallest integer such that...