In this paper, we present the results of our work that seeks to negotiate the gap between low-level features and high-level concepts in the domain of web document retrieval. this work concerns a technique, latent sema...
详细信息
Reduct and core computation is one of the key problems in rough set theory due to its applications in data mining extensively. Much attention presently has paid to it in compatible information system. However, in prac...
详细信息
the proceedings contain 37 papers. the special focus in this conference is on theory and practice of Informatics. the topics include: Software architecture for distributed reactive systems;a logical basis for modular ...
ISBN:
(纸本)3540652604
the proceedings contain 37 papers. the special focus in this conference is on theory and practice of Informatics. the topics include: Software architecture for distributed reactive systems;a logical basis for modular software and systems engineering;from quartets to phylogenetic trees;reuse methods for construction of parallel software;compiling horn-clause rules in IBM’s business system 12, an early experiment in declarativeness;models of computation, riemann hypothesis, and classical mathematics;security of electronic money;algorithms based on randomization and linear and semidefinite programming;distributed systems technology for electronic commerce applications;parallel interactive media server systems;online routing problems for broadband networks;some prospects for efficient fixed parameter algorithms;system infrastructure for digital libraries;an introduction to cryptology;authoring structured multimedia documents;engineering software and software engineering;efficient communication schemes;audit of information systems;towards the use of dynamic documents in business processes;computational power of BSP computers;modeling of hypermedia applications;on the klee’s measure problem in small dimensions;yet another modular technique for efficient leader election;regulated grammars with leftmost derivation;some results on the modelling of spatial data;randomized meldable priority queues;the reconstruction of convex polyominoes from horizontal and vertical projections and behavioral safety in a model with multiple class objects.
To cope withthe complexity of large systems, one usually makes use of hierarchical structures in their models. To detect and to remove design errors as soon as possible, these models must be analyzed in early stages ...
详细信息
In this paper a recurrent network, which consists of O(√mlogm) RBF (radial basis functions) units with maximum norm employing any activation function that has different values in at least two nonnegative points, is c...
详细信息
Smart play-out is a method for executing declarative scenario-based specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping to avoid violations that may be caused by na...
详细信息
作者:
Střelský, JakubCharles University
Faculty of Mathematics and Physics Department of Software and Computer Science Education Prague Czech Republic
Machine learning on 3D point clouds is challenging due to the absence of natural ordering of the points. PointNet is a neural network architecture capable of processing such unordered point sets directly, which has ac...
详细信息
Musical patterns that recur in approximate, rather than identical, form within the body of a musical work are considered to be of considerable importance in music analysis. Here we consider the "evolutionary chai...
详细信息
In the present paper we investigate four relatively independent issues, which complete our knowledge regarding the computational aspects of popular Hopfield nets. In Section 2 of the paper, the computational equivalen...
详细信息
Functional validation of hardware designs is a major challenge for circuit design companies. Post-delivery software problems can be addressed by subsequent software releases;however, fixing hardware bugs in any shippe...
详细信息
暂无评论