the process of the public's network expressing opinions and the government affairs' openness are interactive and dynamic. In this paper, a dynamic programming model of government affairs' openness driven b...
详细信息
the proceedings contain 11 papers. the special focus in this conference is on Automated Deduction in Geometry. the topics include: On the Heilbronn optimal configuration of seven points in the square;on the design and...
ISBN:
(纸本)9783642210457
the proceedings contain 11 papers. the special focus in this conference is on Automated Deduction in Geometry. the topics include: On the Heilbronn optimal configuration of seven points in the square;on the design and implementation of a geometric knowledge base;proof certificates for algebra and their application to automatic geometry theorem proving;multivariate resultants in Bernstein basis;unique factorization domains in the Java computer algebra system;automatic verification of the adequacy of models for families of geometric objects;formalizing projective plane geometry in Coq;linear programming for Bernstein based solvers;offsetting revolution surfaces.
AJAX (Asynchronous Javascript and XML) is a confederation of technologies aimed at providing improved user interaction with web-based applications. While AJAX provides an improved user experience, it also comes with i...
详细信息
A novel approach to three-dimensional inter-surface clearance calculation for twin-shaft rotary displacement machines based on a NURBS representation of both rotor surfaces is presented. the calculation is split up in...
详细信息
In this paper the problem of high performance software engineering is addressed in the context of image processing regarding productivity and optimized exploitation of hardware resources. therefore, we introduce the f...
详细信息
ISBN:
(纸本)9780819485731
In this paper the problem of high performance software engineering is addressed in the context of image processing regarding productivity and optimized exploitation of hardware resources. therefore, we introduce the functional array processing language Single Assignment C (SaC), which relies on a hardware virtualization concept for automated, parallel machine code generation. An illustrative benchmarking example proves both utility and adequacy of SaC for image processing.
the proceedings contain 12 papers. the topics discussed include: gnoseology-based approach to foundations of informatics;pre-automata as mathematical models of event flow recognizers;insertion modeling system and cons...
the proceedings contain 12 papers. the topics discussed include: gnoseology-based approach to foundations of informatics;pre-automata as mathematical models of event flow recognizers;insertion modeling system and constraint programming;is your ontology a burden or a gem? - towards Xtreme ontology engineering;simulation of the expanded iterated version of the prisoner's dilemma game;design and implementation of a quality management system for electronic training information resources;on optimization criteria for task assignment in cluster and wide-area computing;a lightweight approach to contact data synchronization in mobile social networks;virtual laboratory for distance learning: conceptual design and technology choices;practice in software engineering course: 'what and how to study';and influence of the labor market upon the forming of competence of future IT specialists.
In practical robot motion planning, robots usually do not have full models of their surrounding, and hence no complete and correct plan exists for the robots to be executed fully. In most real-world problems a robot o...
详细信息
We use the fixed point method to study the Hyers-Ulam stability of the quintic and sextic functional equations in non-Archimedean fuzzy normed spaces. In addition, we establish some results of approximately quintic an...
详细信息
Transliteration is always used to translate source names with approximate equivalence of pronunciation into target language. Current direct orthographical mapping (DOM) approach does segmentation and alignment on the ...
详细信息
Children's Social skills were observed through video filming of their interactions in school and apartment play grounds and summer camps. In all 72 video clippings of 10 minutes duration each were analyzed using O...
详细信息
暂无评论