4315 search results - page 228 / 863 » Sorting in linear time |
WCE
2007
13 years 10 months ago
2007
—Building a time series forecasting model by independent component analysis mechanism presents in the paper. Different from using the time series directly with the traditional A...
REX
1991
14 years 1 months ago
1991
Abstract. We consider an optimal-reachability problem for a timed automaton with respect to a linear cost function which results in a weighted timed automaton. Our solution to this...
CHI
2005
ACM
14 years 10 months ago
2005
ACM
A model for movement time for scrolling is developed and verified experimentally. It is hypothesized that the maximum scroll speed is a constant at which the target can be perceiv...
CAV
2003
Springer
14 years 2 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
—We develop an algorithm aimed at estimating travel time on segments of a road network using a convex optimization framework. Sampled travel time from probe vehicles are assumed ...