3443 search results - page 137 / 689 » More Algebras for Determiners |
VLDB
2004
ACM
14 years 3 months ago
2004
ACM
Before undertaking new biomedical research, identifying concepts that have already been patented is essential. Traditional keyword based search on patent databases may not be suļ¬...
COGSCI
2006
13 years 10 months ago
2006
This research addresses the kinds of matching elements that determine analogical relatedness and literal similarity. Despite theoretical agreement on the importance of relational ...
ICCS
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. The high level of abstraction necessary to teach data structures and algorithmic schemes has been more than a hindrance to students. In order to make a proper approach to...
FSTTCS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
ACNS
2005
Springer
14 years 4 months ago
2005
Springer
Recently, several public key exchange protocols based on symbolic computation in non-commutative (semi)groups were proposed as a more eļ¬cient alternative to well established prot...