327 search results - page 18 / 66 » A fully dynamic algorithm for planar |
ICTAC
2009
Springer
13 years 5 months ago
2009
Springer
The GSPeeDI tool implements a decision procedure for the reachability analysis of GSPDIs, planar hybrid systems whose dynamics is given by differential inclusions, and that are not...
LREC
2010
13 years 9 months ago
2010
Parallel corpora are indispensable resources for a variety of multilingual natural language processing tasks. This paper presents a technique for fully automatic construction of c...
ICML
2009
IEEE
14 years 8 months ago
2009
IEEE
A new "herding" algorithm is proposed which directly converts observed moments into a sequence of pseudo-samples. The pseudosamples respect the moment constraints and ma...
HPDC
2006
IEEE
14 years 1 months ago
2006
IEEE
As the size of distributed systems keeps growing, the peer to peer communication paradigm has been identified as the key to scalability. Peer to peer overlay networks are charact...
IPPS
1999
IEEE
14 years 1 hour ago
1999
IEEE
For hypercube networks which have faulty nodes, a few ecient dynamic routing algorithms have been proposed by allowing each node to hold the status of neighbors. We propose two im...