2314 search results - page 146 / 463 » What is a Model |
127
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
While several research projects have been proposed to use software agents to deal with information overload, their results are not applicable in the existing Web infrastructure ma...
120
Voted
ISW
2005
Springer
15 years 9 months ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
137
Voted
RSFDGRC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Association rule algorithms often generate an excessive number of rules, many of which are not significant. It is difficult to determine which rules are more useful, int...
137
Voted
CSL
2004
Springer
15 years 9 months ago
2004
Springer
Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighborhood of its free variables. Such n...
113
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
The phenomenon of visual curve completion, where the visual system completes the missing part (e.g., due to occlusion) between two contour fragments, is a major problem in percept...