Colección: TEMAS

Temas Cantidad
ARTIFICIAL INTELLIGENCE1
Almacenamiento y Recuperación de la Información1
Base de Datos1
Ciencias Informáticas22
Constrained optimization1
DSBC; OTS; GIS services; taxonomial; textual use cases1
DSBC; OTS; GIS services; taxonomies;textual use cases1
DSBC; OTS; servicios GIS/SIG ; taxonomías;textual use cases1
Default Logic1
Defeasible logic programming1
Desarrollo de software basado en componentes1
Frameworks1
HPC; original source code; MPI applications1
Hierarchical1
Informática6
Inheritance1
Intelligent agents3
Investigadores1
Knowledge Representation1
Knowledge Representation Formalisms and Methods1
Learning1
Logic Programming1
Manufacturing1
Medicine and science1
Methodologies (e.g., object-oriented, structured)1
Microprocessors and microcomputers1
Models of Computation1
Nonmonotonic Reasoning1
Object recognition1
Optimization1
PROCESSOR ARCHITECTURES1
Preprocessors1
Processors1
Real time1
Robotics4
SOAR1
Software2
Software development1
Specifying and Verifying and Reasoning about Programs1
Temporal logic1
aplicaciones distribuidas; migración; entornos web1
aplicações distribuídas; migração; ambientes web1
argumentative systems1
artificial immune system1
cognitive architecture1
commonsense reasoning1
constrained optimization problem1
data verification1
defeasible reasoning1
dinámica de dispositivos hipermediales; eventos discretos; DEVS; powerDEVS; ICT1
distributed applications; migration; web environments1
dynamic hypermedial device; discrete events; DEVS; interactions; powerDEVS; ICT1
educación1
high performance computing (HPC)1
informática1
intelligent tutoring systems1
khepera1
knowledge engineering1
knowledge representation1
manufacturing systems1
multi-agent systems1
ontology production method1
ontology; semantic web; local-as-view1
preprocessor1
problemas de optimización restringidos1
reasoning about change notion and actions1
reinforcement learning1
rescheduling1
robotic software system; model-driven software development; software engineering; SOA; Component based software development1
sistema inmune artificial1
software1
student evaluation1
student model1
tecnología1
temporal reasoning1