Colección: TEMAS
Temas | Cantidad |
---|---|
ARTIFICIAL INTELLIGENCE | 3 |
Ciencias Informáticas | 24 |
Clustering | 1 |
Constrained optimization | 1 |
Data mining | 1 |
Default Logic | 1 |
Defeasible Argumentation | 1 |
Defeasible logic programming | 1 |
FODA | 1 |
FORM | 1 |
FPGA (field-programmable gate array) | 1 |
Frameworks | 1 |
HPC; original source code; MPI applications | 1 |
Hierarchical | 1 |
Informática | 3 |
Inheritance | 1 |
Intelligent agents | 3 |
Intelligent computing systems (ICS) | 1 |
Interfaces | 1 |
Internet (e.g., TCP/IP) | 1 |
Investigadores | 1 |
Knowledge Representation | 1 |
Knowledge Representation Formalisms and Methods | 1 |
Logic Programming | 1 |
Methodologies (e.g., object-oriented, structured) | 1 |
Microprocessors and microcomputers | 1 |
Multiple Preference Criteria | 1 |
Neural nets | 1 |
Nonmonotonic Reasoning | 1 |
Optimization | 1 |
PROCESSOR ARCHITECTURES | 1 |
Processors | 1 |
Robotics | 3 |
Routers | 1 |
Software | 3 |
Software development | 1 |
Specifying and Verifying and Reasoning about Programs | 1 |
Systems development | 1 |
Temporal logic | 1 |
algorithm mapping | 1 |
application engineering | 1 |
argumentative systems | 1 |
artificial immune system | 1 |
autoconfiguration | 1 |
capability maturity model integration | 1 |
commonsense reasoning | 1 |
conditional belief functions | 1 |
considerations | 1 |
constrained optimization problem | 1 |
core platform | 1 |
data verification | 1 |
defeasible reasoning | 1 |
domain engineering | 1 |
e-GP | 1 |
educación | 1 |
electronic government procurement projects | 1 |
evidence theory | 1 |
evolving neural networks | 1 |
feature model | 1 |
graphoidal structures | 1 |
high performance computing (HPC) | 1 |
incremental evolution | 1 |
informática | 1 |
insufficient database | 1 |
intelligent tutoring systems | 1 |
knowledge discovery | 1 |
knowledge engineering | 1 |
knowledge representation | 1 |
layered evolution | 1 |
ontology production method | 1 |
ontology; semantic web; local-as-view | 1 |
problemas de optimización restringidos | 1 |
reasoning about change notion and actions | 1 |
reasoning module interface | 1 |
robotic software system; model-driven software development; software engineering; SOA; Component based software development | 1 |
sistema inmune artificial | 1 |
software | 1 |
software agents | 1 |
software product lines | 1 |
student evaluation | 1 |
student model | 1 |
taxonomy | 1 |
tecnología | 1 |
temporal reasoning | 1 |