A Fuzzy Extension to the OWL 2 RL Ontology Language.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2956, doi. 10.1093/comjnl/bxv028
- By:
- Publication type:
- Article
Works matching IS 00104620 AND DT 2015 AND VI 58 AND IP 11
Results: 26
1
2
A New Parameterized Algorithm for Predicting the Secondary Structure of RNA Sequences Including Pseudoknots.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 3114, doi. 10.1093/comjnl/bxv043
- By:
- Publication type:
- Article
3
Techniques for Genetic Software Architecture Design.
- Published in:
- 2015
- By:
- Publication type:
- Case Study
4
Harmony Assumptions in Information Retrieval and Social Networks.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2982, doi. 10.1093/comjnl/bxv031
- By:
- Publication type:
- Article
5
Large-Scale Schema-Free Data Deduplication Approach with Adaptive Sliding Window Using MapReduce.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 3187, doi. 10.1093/comjnl/bxv052
- By:
- Publication type:
- Article
6
Research on Algorithms to Capture Drivers' Write Operations.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 3035, doi. 10.1093/comjnl/bxv035
- By:
- Publication type:
- Article
7
On the Power of SPARQL in Expressing Navigational Queries.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2841, doi. 10.1093/comjnl/bxu128
- By:
- Publication type:
- Article
8
Pruning Longer Branches of Independent Spanning Trees on Folded Hyper-Stars.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2972, doi. 10.1093/comjnl/bxv029
- By:
- Publication type:
- Article
9
Impact Set: Computing Influence Using Query Logs.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2928, doi. 10.1093/comjnl/bxv016
- By:
- Publication type:
- Article
10
Hamiltonian Properties of DCell Networks.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2944, doi. 10.1093/comjnl/bxv019
- By:
- Publication type:
- Article
11
On the Origin of Recursive Procedures.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2892, doi. 10.1093/comjnl/bxu145
- By:
- Publication type:
- Article
12
Quality Assured Model-Driven Requirements Engineering and Software Development.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 3171, doi. 10.1093/comjnl/bxv051
- By:
- Publication type:
- Article
13
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2824, doi. 10.1093/comjnl/bxu127
- By:
- Publication type:
- Article
14
OntCAAC: An Ontology-Based Approach to Context-Aware Access Control for Software Services.
- Published in:
- 2015
- By:
- Publication type:
- Case Study
15
A Statistically Rigorous Analysis of 2D Path-Planning Algorithms.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2876, doi. 10.1093/comjnl/bxu137
- By:
- Publication type:
- Article
16
Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2793, doi. 10.1093/comjnl/bxu117
- By:
- Publication type:
- Article
17
A Methodology for Resolution Mapping for Cross-Resolution Simulation using Event-B.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2804, doi. 10.1093/comjnl/bxu126
- By:
- Publication type:
- Article
18
Data Classification Management with its Interfacing Structure for Hybrid SLC/MLC PRAM Main Memory.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2852, doi. 10.1093/comjnl/bxu133
- By:
- Publication type:
- Article
19
Narrowing the Complexity Gap for Colouring (C<sub>s</sub>, P<sub>t</sub>)-Free Graphs.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 3074, doi. 10.1093/comjnl/bxv039
- By:
- Publication type:
- Article
20
Incomplete Distinguishing Sequences for Finite State Machines.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 3089, doi. 10.1093/comjnl/bxv041
- By:
- Publication type:
- Article
21
Linear Programming Formulations for Computing Graph Layout Parameters.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2921, doi. 10.1093/comjnl/bxv013
- By:
- Publication type:
- Article
22
Automatic Generation of Optimized OpenCL Codes Using OCLoptimizer.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 3057, doi. 10.1093/comjnl/bxv038
- By:
- Publication type:
- Article
23
Planar and Quasi-Planar Simultaneous Geometric Embedding.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 3126, doi. 10.1093/comjnl/bxv048
- By:
- Publication type:
- Article
24
Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2864, doi. 10.1093/comjnl/bxu135
- By:
- Publication type:
- Article
25
An Autonomous Time-Dependent SLA Negotiation Strategy for Cloud Computing.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 3202, doi. 10.1093/comjnl/bxv053
- By:
- Publication type:
- Article
26
How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2900, doi. 10.1093/comjnl/bxv001
- By:
- Publication type:
- Article