2446 search results - page 155 / 490 » First Smart Spaces |
149
click to vote
COMPGEOM
2005
ACM
15 years 5 months ago
2005
ACM
Given a Euclidean graph G in Rd with n vertices and m edges we consider the problem of adding a shortcut such that the stretch factor of the resulting graph is minimized. Currentl...
140
click to vote
FORMATS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...
147
click to vote
SODA
2008
ACM
15 years 5 months ago
2008
ACM
In this paper we consider problems related to the sortedness of a data stream. First we investigate the problem of estimating the distance to monotonicity; given a sequence of len...
124
Voted
WEBNET
2001
15 years 5 months ago
2001
: As more information is made available online, users collect information in personal information spaces like bookmarks and emails. While most users feel that organizing these coll...
132
click to vote
ADCM
2008
15 years 4 months ago
2008
In this paper we analyse a hybrid approximation of functions on the sphere S2 R3 by radial basis functions combined with polynomials, with the radial basis functions assumed to be...