10038 search results - page 1582 / 2008 » Model Checking for Managers |
171
click to vote
ELPUB
2006
ACM
16 years 21 days ago
2006
ACM
The JISC Information Environment Service Registry (IESR) contains descriptions of collections of resources available to researchers, learners and teachers in the UK, along with te...
198
click to vote
GIR
2006
ACM
16 years 21 days ago
2006
ACM
Retrieving data based not only on key words is a challenge. We worked on semi-structured data (cultural heritage corpora). Our project aimed at getting the most relevant text-unit...
147
click to vote
SAC
2006
ACM
16 years 21 days ago
2006
ACM
We propose a method for induction of compact optimal recommendation policies based on discovery of frequent itemsets in a purchase database, followed by the application of standar...
221
click to vote
SACMAT
2006
ACM
16 years 21 days ago
2006
ACM
In this paper we have addressed confidentiality and privacy for video surveillance databases. First we discussed our overall approach for suspicious event detection. Next we discu...
190
click to vote
CW
2005
IEEE
16 years 11 days ago
2005
IEEE
To support the collaborative development of custom products in current distributed manufacturing, this paper develops a Web-based configure-to-order platform. The proposed platfor...