1999 search results - page 240 / 400 » Dependently Typed Grammars |
160
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
The paper discusses the matching of two multispectral data sets using the Genetic Algorithm (GA) as a search technique for the global optimum estimates of the transformation param...
282
click to vote
ICDE
2000
IEEE
16 years 7 months ago
2000
IEEE
Optimizing queries that involve operations on spatial data requires estimating the selectivity and cost of these operations. In this paper, we focus on estimating the cost of spat...
321
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
Role-based access control (RBAC) is a common paradigm to ensure that users have sufficient rights to perform various system operations. In many cases though, traditional RBAC does ...
152
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
160
click to vote
ECIR
2009
Springer
16 years 3 months ago
2009
Springer
We explore the utility of different types of topic models for retrieval purposes. Based on prior work, we describe several ways that topic models can be integrated into the retrie...