4340 search results - page 720 / 868 » Formal Methods and Cryptography |
169
click to vote
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
128
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
144
Voted
BMEI
2008
IEEE
15 years 11 months ago
2008
IEEE
Standard Gene Expression Programming(GEP) works with fixed rate of mutation and crossover, ignoring the variation of the individual fitness, hence it works in the local optimum st...
145
click to vote
CEC
2008
IEEE
15 years 11 months ago
2008
IEEE
— In the early days a policy was a set of simple rules with a clear intuitive motivation that could be formalised to good effect. However the world is now much more complex. Subt...
123
click to vote
ICMCS
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we propose a Semantic Graphs for Image Search (SGIS) system, which provides a novel way for image search by utilizing collaborative knowledge in Wikipedia and netwo...