4315 search results - page 112 / 863 » Sorting in linear time |
COMPGEOM
2005
ACM
13 years 11 months ago
2005
ACM
We present a near linear time algorithm for constructing hierarchical nets in finite metric spaces with constant doubling dimension. This data-structure is then applied to obtain...
FASE
2004
Springer
14 years 23 days ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
AUTOMATICA
2004
13 years 9 months ago
2004
In this paper, we consider the problem of observer design for dynamical systems with scalar output by linearization of the error dynamics via coordinate change, output injection, ...
ICTAC
2007
Springer
14 years 3 months ago
2007
Springer
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LT...
WSC
1998
13 years 10 months ago
1998
A major portion of highway construction work is comprised of linear activities. A linear activity is one that progresses along a path (non-stationary), as it does it is complete a...