3001 search results - page 545 / 601 » Recursive type generativity |
134
click to vote
POLICY
2007
Springer
15 years 11 months ago
2007
Springer
We present a discretionary access control framework that can be used to control a principal’s ability to link information from two or more audit records and compromise a user’...
179
click to vote
SSD
2007
Springer
15 years 11 months ago
2007
Springer
We address continuously processing an aggregation join query over data streams. Queries of this type involve both join and aggregation operations, with windows specified on join ...
146
click to vote
WOLLIC
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
162
click to vote
ESCIENCE
2006
IEEE
15 years 11 months ago
2006
IEEE
A goal of the Geosciences Network (GEON) is to develop cyber-infrastructure that will allow earth scientists to discover access, integrate and disseminate knowledge in distributed...
137
click to vote
IAT
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract During the last decade research groups as well as a number of commercial software developers have started to deploy embodied conversational characters in the user interfac...