Model Checking Temporal Logics of Knowledge Via OBDDs.
- Published in:
- Computer Journal, 2007, v. 50, n. 4, p. 403, doi. 10.1093/comjnl/bxm009
- By:
- Publication type:
- Article
Works matching IS 00104620 AND DT 2007 AND VI 50 AND IP 4
Results: 13
1
2
Guest Editorial to the Special Issue on Advances of Artificial Intelligence and Knowledge Engineering in China.
- Published in:
- Computer Journal, 2007, v. 50, n. 4, p. 377, doi. 10.1093/comjnl/bxm011
- By:
- Publication type:
- Article
3
R-Calculus: An Inference System for Belief Revision.
- Published in:
- Computer Journal, 2007, v. 50, n. 4, p. 378, doi. 10.1093/comjnl/bxl069
- Publication type:
- Article
4
A Two-Phase Optimization Algorithm For Mastermind.
- Published in:
- Computer Journal, 2007, v. 50, n. 4, p. 435, doi. 10.1093/comjnl/bxm006
- By:
- Publication type:
- Article
5
Capsule Reviews.
- Published in:
- Computer Journal, 2007, v. 50, n. 4, p. 373, doi. 10.1093/comjnl/bxm044
- Publication type:
- Article
6
Karen Sparck Jones (1935-2007): Professor (emeritus) of Computers and Information, University of Cambridge.
- Published in:
- Computer Journal, 2007, v. 50, n. 4, p. 375, doi. 10.1093/comjnl/bxm026
- Publication type:
- Article
7
Context-aware Timely Information Delivery in Mobile Environments.
- Published in:
- Computer Journal, 2007, v. 50, n. 4, p. 460, doi. 10.1093/comjnl/bxm005
- By:
- Publication type:
- Article
8
A Linear-Time Constant-Space Algorithm for the Boundary Fill Problem.
- Published in:
- Computer Journal, 2007, v. 50, n. 4, p. 473, doi. 10.1093/comjnl/bxm004
- By:
- Publication type:
- Article
9
Efficient Publish/Subscribe Through a Self-Organizing Broker Overlay and its Application to SIENA.
- Published in:
- Computer Journal, 2007, v. 50, n. 4, p. 444, doi. 10.1093/comjnl/bxm002
- By:
- Publication type:
- Article
10
Qualitative Spatial Representation and Reasoning: A Hierarchical Approach.
- Published in:
- Computer Journal, 2007, v. 50, n. 4, p. 391, doi. 10.1093/comjnl/bxl086
- By:
- Publication type:
- Article
11
Professional Pen Testing for Web Applications--Programmer to Programmer Series (P2P).
- Published in:
- Computer Journal, 2007, v. 50, n. 4, p. 500, doi. 10.1093/comjnl/bxm016
- Publication type:
- Article
12
A Layer-2 Framework for Interconnecting Ad Hoc Networks to Fixed Internet: Test-bed Implementation and Experimental Evaluation.
- Published in:
- Computer Journal, 2007, v. 50, n. 4, p. 478, doi. 10.1093/comjnl/bxm013
- By:
- Publication type:
- Article
13
User-Oriented Feature Selection for Machine Learning.
- Published in:
- Computer Journal, 2007, v. 50, n. 4, p. 421, doi. 10.1093/comjnl/bxm012
- By:
- Publication type:
- Article