In this paper we consider some questions related to the orientation of shapes when the standard method does not work. A typical situation is when a shapes under consideration has more than two axes of symmetry or if t...
详细信息
In order to minimize the self-heating effect of the classic SOI devices, SOI structures with Si3N4 film as a buried insulator (SOSN) are successfully formed using epitaxial layer transfer technology for the first time...
详细信息
In order to minimize the self-heating effect of the classic SOI devices, SOI structures with Si3N4 film as a buried insulator (SOSN) are successfully formed using epitaxial layer transfer technology for the first time. The new SOI structures are investigated with high-resolution cross-sectional transmission electron microscopy and spreading resistance profile. Experiment results show that the buried Si3N4 layer is amorphous and the new SOI material has good structural and electrical properties. The output current characteristics and temperature distribution are simulated and compared to those of standard SOI MOSFETs. Furthermore, the channel temperature and negative differential resistance are reduced during high-temperature operation, suggesting that SOSN can effectively mitigate the self-heating penalty. The new SOI device has been verified in two-dimensional device simulation and indicated that the new structures can reduce device self-heating and increase drain current of the SOI MOSFET.
We describe a semi-automatic cartographic image interpretation system in which techniques previously applied to monochrome images are generalised to colour and extended to support digitization of the full range of mul...
详细信息
We describe a semi-automatic cartographic image interpretation system in which techniques previously applied to monochrome images are generalised to colour and extended to support digitization of the full range of multi-coloured cartographic objects. A snapping tool eases the selection of seed points, speeding interpretation. Line and area objects are identified automatically and a suitable target representation (skeleton or contour) produced for each. This simplifies interaction as the user does not have to vary his/her behaviour with object type. Multi-coloured objects can be constructed from their components with ease and correction tools such as snapping and undo both save time and decrease error rates.
Our previous research presents a methodology of cooperative problem solving for BDI systems, based on a complete formal theory. This covers both a static part, defining individual, bilateral and collective agent attit...
详细信息
Our previous research presents a methodology of cooperative problem solving for BDI systems, based on a complete formal theory. This covers both a static part, defining individual, bilateral and collective agent attitudes, and a dynamic part, describing system reconfiguration in a dynamic, unpredictable environment. In this paper, we investigate the complexity of the satisfiability problem of the static part of our theory, focusing on individual and collective attitudes up to collective intention. Our logics for teamwork are squarely multi-modal, in the sense that different operators are combined and may interfere. One might expect that such a combination is much more complex than the basic multi-agent logic with one operator, but in fact we show that the individual part of our theory of teamwork is PSPACE-complete. The full system, modeling a subtle interplay between individual and group attitudes, turns out to be EXPTlME-complete, and remains so even if propositional dynamic logic is added to it.
GUHA method of exploratory data analysis is presented. GUHA offers all interesting facts following from the analysed data to the given problem. Its development started about 40 years ago. It is implemented in the form...
详细信息
GUHA method of exploratory data analysis is presented. GUHA offers all interesting facts following from the analysed data to the given problem. Its development started about 40 years ago. It is implemented in the form of GUHA-procedures. Implementation techniques called now granular computing are used. The software system LISp-Miner containing six GUHA procedures mining for various types of patterns is presented. Important theoretical results concerning GUHA method are mentioned.
In a student project over the summer of 2004 teams of computerscience and product design students worked together to develop new forms of interfaces for media control in living room contexts. In this paper we des-cri...
详细信息
ISBN:
(纸本)1595930027
In a student project over the summer of 2004 teams of computerscience and product design students worked together to develop new forms of interfaces for media control in living room contexts. In this paper we des-cribe the design process from collecting first ideas of design choices and iteratively evolving (low-fidelity) prototypes to fully functional products, partially even meeting mass production requirements. We discuss how the interdisciplinary collaboration influenced the creative process in such a way, that the solutions were more realistic than purely design-informed solutions and more inspired than purely technology-informed ones. We experienced that the combination of skills lead to a much more focused design process, which produced fully functional prototypes in a short time. The resulting designs include one interface installed in the room, two autonomous interaction objects which can be freely moved around, and a two-handed inter-face. While these are only small spotlights into a large design space, they nicely show the possible diversity. We also learned that fully functional and aesthetically pleasing prototypes can be developed with techno-logically relatively simple means.
We improve, by using register machines, some existing universality results for specific models of P systems. P systems with membrane creation are known to generate all recursively enumerable sets of vectors of non-neg...
详细信息
We improve, by using register machines, some existing universality results for specific models of P systems. P systems with membrane creation are known to generate all recursively enumerable sets of vectors of non-negative integers, even when no region (except the environment) contains more than one object of the same kind. We here show that they generate all recursively enumerable languages, and two membrane labels are sufficient (the same result holds for accepting all recursively enumerable vectors of non-negative integers). Moreover, at most two objects are present inside the system at any time in the generative case. Then we prove that 10 + m symbols are enough to generate any recursively enumerable language over m symbols. P systems with active membranes without polarizations are known to generate all recursively enumerable sets of vectors of non-negative integers. We show that they generate all recursively enumerable languages; four starting membranes with three labels or seven starting membranes with two labels are sufficient. P systems with active membranes and two polarizations are known to generate/accept all recursively enumerable sets of vectors of non-negative integers, only using rules of rewriting and sending objects out. We show that accepting can be done by deterministic systems. Finally, remarks and open questions are presented.
This paper describes the robust reading competitions for ICDAR 2003. With the rapid growth in research over the last few years on recognizing text in natural scenes, there is an urgent need to establish some common be...
详细信息
暂无评论