83 search results - page 6 / 17 » Directive words of episturmian words: equivalences and norma... |
DBSEC
2010
13 years 4 months ago
2010
Abstract. This paper describes how to preserve integrity and confidentiality of a directed acyclic graph (DAG) model of provenance database. We show a method to preserve integrity ...
SIGIR
2004
ACM
14 years 1 months ago
2004
ACM
XML retrieval is a departure from standard document retrieval in which each individual XML element, ranging from italicized words or phrases to full blown articles, is a potential...
IUI
2000
ACM
14 years 6 days ago
2000
ACM
For intelligent interfaces attempting to learn a user’s interests, the cost of obtaining labeled training instances is prohibitive because the user must directly label each trai...
FROCOS
2000
Springer
13 years 11 months ago
2000
Springer
In this paper we extend the applicability of our combination method for decision procedures for the word problem to theories sharing non-collapse-free constructors. This extension ...
SIAMSC
2010
13 years 6 months ago
2010
Abstract. In this paper we improve traditional steepest descent methods for the direct minimization of the Gross-Pitaevskii (GP) energy with rotation at two levels. We first defi...