10289 search results - page 172 / 2058 » Standard bases in K |
185
click to vote
ADC
2006
Springer
16 years 13 days ago
2006
Springer
With the increasing popularity of XML, there arises the need for managing and querying information in this form. Several query languages, such as XQuery, have been proposed which ...
171
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. We have investigated the adaptation of AI-based search techniques as topologyindependent fault-tolerant routing strategies on multiprocessor networks [9]. The results sho...
196
click to vote
EUROCRYPT
2008
Springer
15 years 8 months ago
2008
Springer
We introduce a new notion called -isolated proofs of knowledge ( -IPoK). These are proofs of knowledge where a cheating prover is allowed to exchange up to bits of communication wi...
150
click to vote
JCO
2010
15 years 4 months ago
2010
Given a network G = (V, E), we say that a subset of vertices S ⊆ V has radius r if it is spanned by a tree of depth at most r. We are interested in determining whether G has a cu...
190
click to vote
EMSOFT
2011
Springer
14 years 6 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...