1795 search results - page 181 / 359 » Search by strategy |
162
click to vote
ISW
2005
Springer
16 years 1 days 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 ...
179
click to vote
HICSS
2005
IEEE
16 years 4 days ago
2005
IEEE
Abstract— This paper presents a decentralized negotiation protocol for cooperative economic scheduling in a supply chain environment. For this purpose we designed autonomous agen...
200
click to vote
AMAI
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents new look-ahead schemes for backtracking search when solving constraint satisfaction problems. The look-ahead schemes compute a heuristic for value ordering and...
237
click to vote
TIP
2008
15 years 6 months ago
2008
This paper discusses the use of Binary Partition Trees (BPTs) for object detection. BPTs are hierarchical region-based representations of images. They define a reduced set of regio...
202
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
We all spend time every day looking for information in our email, yet we know little about this refinding process. Some users expend considerable preparatory effort creating compl...