247 search results - page 31 / 50 » Development graphs - Proof management for structured specifi... |
133
click to vote
WIDM
2005
ACM
15 years 5 months ago
2005
ACM
Markov models have been widely used for modelling users' navigational behaviour in the Web graph, using the transitional probabilities between web pages, as recorded in the w...
104
click to vote
SACMAT
2003
ACM
15 years 5 months ago
2003
ACM
Role-based Access Control (RBAC) models have been implemented not only in self-contained resource management products such as DBMSs and Operating Systems but also in a class of pr...
104
click to vote
PRL
2010
14 years 10 months ago
2010
: Single training image face recognition is one of main challenges to appearance-based pattern recognition techniques. Many classical dimensionality reduction methods such as LDA h...
VLDB
1997
ACM
15 years 3 months ago
1997
ACM
The paper discusses the issue of views in the Web context. We introduce a set of languages for managing and restructuring data coming from the World Wide Web. We present a specifi...
102
click to vote
ACSC
2003
IEEE
15 years 3 months ago
2003
IEEE
Sorting is a fundamental algorithmic task. Many generalpurpose sorting algorithms have been developed, but efficiency gains can be achieved by designing algorithms for specific ki...