Found: 13
Select item for more details and to access through your institution.
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
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
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
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
Capsule Reviews.
- Published in:
- Computer Journal, 2007, v. 50, n. 4, p. 373, doi. 10.1093/comjnl/bxm044
- Publication type:
- Article
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
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
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
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
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
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
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
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