5639 search results - page 473 / 1128 » Timed Abstract Non-interference |
152
Voted
ILP
2004
Springer
15 years 10 months ago
2004
Springer
Many domains in the field of Inductive Logic Programming (ILP) involve highly unbalanced data. Our research has focused on Information Extraction (IE), a task that typically invol...
170
click to vote
SSPR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In surveillance systems for monitoring people behaviour, it is imporant to build systems that can adapt to the signatures of the people tasks and movements in the environ...
160
click to vote
TCC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
139
click to vote
UIALL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present the results of an exploratory study investigating the feasibility of using multimedia software to teach life skills to adults with learning difficulties. As a ...
149
click to vote
PDP
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Load balancing algorithms are an essential component of parallel computing reducing the response time of applications. Frequently, balancing algorithms have a centralize...