Biblioteca Digital

959 resultados para Computer software -- Verification

Usability evaluation of grammar formalisms for free word order natural language processing

Relevância:

80.00% 80.00%

Publicador:

A metamodel-based approach to integrate object-oriented graphical and formal specification techniques

Relevância:

80.00% 80.00%

Publicador:

Describing and supporting complex interactions in distributed systems

Relevância:

80.00% 80.00%

Publicador:

A nomadic computing architecture for open distributing computing

Relevância:

80.00% 80.00%

Publicador:

SWASAD Smith & Waterman-algorithm-specific ASIC design

Relevância:

80.00% 80.00%

Publicador:

A hybrid learning system with a hierarchical architecture for pattern classification

Relevância:

80.00% 80.00%

Publicador:

A situated cortical model exhibiting attention, learning ane memory : implications for cognition

Relevância:

80.00% 80.00%

Publicador:

Enabling meta-level support for language design and implementation through modular parsers

Relevância:

80.00% 80.00%

Publicador:

Contextual and data refinement for the refinement calculus for logic programs

Relevância:

80.00% 80.00%

Publicador:

A logical formulation of the 3D reconstrucion problem using a volumetric framework

Relevância:

80.00% 80.00%

Publicador:

Electronic blocks : a new resource for technology education

Relevância:

80.00% 80.00%

Publicador:

Design of an adaptive computing architecture for managing interactions in heterogeneous defence networks

Relevância:

80.00% 80.00%

Publicador:

Dynamic policy-based management in open distributed environments

Relevância:

80.00% 80.00%

Publicador:

Hand gesture recognition by Hidden Markov Models

Relevância:

80.00% 80.00%

Publicador:

Jasmine: A shared-object multi-locking distributed shared memory system for heterogeneous computers

Relevância:

80.00% 80.00%

Publicador:

«
1
2
...
52
53
54
55
56
57
58
...
63
64
»