6527 search results - page 1078 / 1306 » On Typing Information Flow |
211
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
184
click to vote
ASSETS
2006
ACM
15 years 11 months ago
2006
ACM
Assistive technology for wayfinding will significantly improve the quality of life for many individuals with cognitive impairments. The user interface of such a system is as cruci...
190
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
An agent's trust decision strategy consists of the agent's policies for making trust-related decisions, such as who to trust, how trustworthy to be, what reputations to ...
176
click to vote
CIA
2006
Springer
15 years 11 months ago
2006
Springer
The paper describes a decentralized peer-to-peer multi-agent learning method based on inductive logic programming and knowledge trading. The method uses first-order logic for model...
217
click to vote
COMPLIFE
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This paper presents a method that uses gene ontologies, together with the paradigm of relational subgroup discovery, to help find description of groups of genes different...