3443 search results - page 112 / 689 » More Algebras for Determiners |
APWEB
2005
Springer
13 years 11 months ago
2005
Springer
In this paper, we will provide an overview of some of the more recent developments in web graph processing using the classic Google page rank equation as popularized by Brins and P...
OTM
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Changes in the characterization of instances in digital content are one of the rationales to evolve ontologies that support a domain. These changes can have impacts on on...
AIED
2007
Springer
14 years 3 months ago
2007
Springer
MathGirls is a pedagogical-agent-based environment designed for high-school girls learning introductory algebra. Since females are in general more interested in interactive computi...
VLDB
2006
ACM
14 years 9 months ago
2006
ACM
While the information published in the form of XML-compliant documents keeps fast mounting up, efficient and effective query processing and optimization for XML have now become mor...
ESORICS
2005
Springer
14 years 2 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...