7773 search results - page 344 / 1555 » On generalized Frame-Stewart numbers |
164
click to vote
CAISE
2005
Springer
16 years 7 days ago
2005
Springer
Today ontology languages present a syntax which looks not “natural” and are lacking of built-in primitives (i.e., modeling notions) domain experts are familiar with. In this pa...
188
click to vote
CCS
2005
ACM
16 years 7 days ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
163
click to vote
COCO
2005
Springer
16 years 6 days ago
2005
Springer
The inertia of an n × n matrix A is defined as the triple (i+(A), i−(A), i0(A)), where i+(A), i−(A), and i0(A) are the number of eigenvalues of A, counting multiplicities, w...
149
click to vote
ESWS
2005
Springer
16 years 6 days ago
2005
Springer
Semantic Web technologies offer the possibility of increased accuracy and completeness in search and retrieval operations. In recent years, curators of data resources have begun f...
174
click to vote
FCT
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We investigate bottom-up and top-down deterministic automata on unranked trees. We show that for an appropriate definition of bottom-up deterministic automata it is poss...