A fully integrated development tool for computer vision systems has been built in the framework of this paper. There are many applications that help the user in the design of such systems, using graphical interfaces a...
详细信息
With the development of economy, the number of substations and the number of lines is continuously increasing, and the Energy Internet is becoming increasingly complex and changes frequently. It is more and more diffi...
详细信息
Nowadays, with the volume of data growing at an unprecedented rate, big data mining and knowledge discovery have become a new challenge. Rough set theory for knowledge acquisition has been successfully applied in data...
详细信息
Constraint satisfaction problems tend to display phase transitions with respect to the effort required by specific problem solving strategies. So far, little is known concerning the causes of phase transitions, or the...
详细信息
In the previous decade, the mixing between chaotic supposition and cryptography frames considers a significant field of data security. Chaos-based image encryption is given a lot of attention in the exploration of dat...
详细信息
Unmanned aerial vehicles (UAVs) are being used extensively these days, for various applications such as package delivery, surveillance systems, shooting purposes, and whatnot. Artificial Intelligence in theory talks a...
详细信息
still, requirements and software design are often confused with one another. We provide a new (partial) explanation for this phenomenon, based on the insight that representations of concepts related to requirements an...
详细信息
The rapid development of the Internet of Things (IoT) technologies has increased the number of connected devices with constrained resources. Therefore, there is an urgent need to develop secure, lightweight cryptograp...
详细信息
Type inference can be phrased as constraint-solving over types. We consider an implicitly typed language equipped with recursive types, multiple inheritance, 1st order parametric polymorphism, and assignments. Type co...
详细信息
The proceedings contain 21 papers. The topics discussed include: conceptual knowledge processing: theory and practice;non-symmetric indiscernibility;computing graph-based lattices from smallest projections;combined lo...
ISBN:
(纸本)9783642221392
The proceedings contain 21 papers. The topics discussed include: conceptual knowledge processing: theory and practice;non-symmetric indiscernibility;computing graph-based lattices from smallest projections;combined logics of knowledge, time, and actions for reasoning about multi-agent systems;applications of temporal conceptual semantic systems;conceptual representation of gene expression processes;from published expression and phenotype data to structured knowledge: the arabidopsis gene net supplementary database and its applications;how can ontologies contribute to software development?;a comparison of content-based tag recommendations in folksonomy systems;data weeding techniques applied to roget's thesaurus;virtual catalog: the ontology-based technology for information retrieval;and technology of ontology building for knowledge portals on humanities.
暂无评论