1438 search results - page 204 / 288 » An Expressive Extension of TLC |
163
click to vote
ICDM
2003
IEEE
15 years 11 months ago
2003
IEEE
Clustering is the process of grouping a set of objects into classes of similar objects. Because of unknownness of the hidden patterns in the data sets, the definition of similari...
164
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
159
click to vote
SSDBM
2003
IEEE
15 years 11 months ago
2003
IEEE
MoBIoS is a specialized database management system whose storage manager is based on metric-space indexing, and whose query language entails biological data types. When relational...
154
click to vote
JCDL
2003
ACM
15 years 11 months ago
2003
ACM
The National Science Digital Library (NSDL), launched in December 2002, is emerging as a center of innovation in digital libraries as applied to education. As a part of this exten...
211
click to vote
BTW
2003
Springer
15 years 11 months ago
2003
Springer
Abstract: Optimization of nested queries, in particular finding equivalent “flattened” queries for queries that employ the SQL sub-query construct, has been researched extensiv...