8512 search results - page 1404 / 1703 » Computing Theory With Relevance |
176
click to vote
ECSQARU
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The Transferable Belief Model (TBM) relies on belief functions and enables one to represent and combine a variety of knowledge from certain up to ignorance as well as con...
190
click to vote
ESORICS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
170
click to vote
FCT
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
150
click to vote
FOSSACS
2007
Springer
16 years 26 days ago
2007
Springer
Desharnais, Gupta, Jagadeesan and Panangaden introduced a family of behavioural pseudometrics for probabilistic transition systems. These pseudometrics are a quantitative analogue ...
175
Voted
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
In the longest common subsequence problem the task is to find the longest sequence of letters that can be found as subsequence in all members of a given finite set of sequences....