15 results on '"F Albuquerque"'
Search Results
2. Pattern classification based on regional models.
3. OptCE: A Counterexample-Guided Inductive Optimization Solver.
4. Counterexample guided inductive optimization based on satisfiability modulo theories.
5. A Conceptual Framework for Integrating Scientific Tacit Knowledge.
6. Verifying CUDA programs using SMT-based context-bounded model checking.
7. OntoBio: A Biodiversity Domain Ontology for Amazonian Biological Collected Objects.
8. Improving Biodiversity Data Retrieval through Semantic Search and Ontologies.
9. Helping Developers to Look Deeper inside Game Sessions.
10. Case Study of a Mobile HTML5 Multiplayer Game Portal.
11. Semantic Search Architecture for Retrieving Information in Biodiversity Repositories.
12. A Strategy for Biodiversity Knowledge Acquisition Based on Domain Ontology.
13. Ontology Supported by CLOSi Data Schemas in the Semantic Web Context.
14. Counterexample Guided Inductive Optimization.
15. SMT-based context-bounded model checking for CUDA programs.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.