2137 search results - page 314 / 428 » Proving Abstract Non-interference |
109
click to vote
CICLING
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper describes our work in integrating three different lexical resources: FrameNet, VerbNet, and WordNet, into a unified, richer knowledge-base, to the end of ena...
111
click to vote
COLT
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present several results related to ranking. We give a general margin-based bound for ranking based on the L∞ covering number of the hypothesis space. Our bound sugge...
152
Voted
CPM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Approximate string matching is a fundamental and challenging problem in computer science, for which a fast algorithm is highly demanded in many applications including tex...
122
Voted
DFKI
2005
Springer
15 years 8 months ago
2005
Springer
This paper introduces “micro-scalability” as a novel design objective for social reasoning architectures operating in open multiagent systems. Microscalability is based on the ...
126
Voted
EDCC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...