Online resources, large data repositories and streaming social network messages embed plenitudes of interesting knowledge, often of associative nature. A specific communicative context, such as the political debate in...
详细信息
The brief analysis of existing indoor navigation tools revealed that all of them are suboptimal, in the context of the topic under consideration. The new action is discussed and presented: a method for indoor navigati...
详细信息
ISBN:
(数字)9781728135649
ISBN:
(纸本)9781728135656
The brief analysis of existing indoor navigation tools revealed that all of them are suboptimal, in the context of the topic under consideration. The new action is discussed and presented: a method for indoor navigation using QR codes. These are used not only for positioning, but also for accompanying users along the route.
The report proposes a dynamic routing method for Self-healing Networks (ShN). The method takes into account the specific features of ShN. During routing, the flow of service information is reduced. The search for the ...
详细信息
The article presents the design of an application interface for associated medical data visualization and management for neurologists in a stroke clustering and prediction system called Stroke MD. The goal of the syst...
详细信息
ISBN:
(纸本)9781467375467
The article presents the design of an application interface for associated medical data visualization and management for neurologists in a stroke clustering and prediction system called Stroke MD. The goal of the system is to facilitate efficient visual data introduction and knowledge extraction based on a predictive model implementation. Aspects such as quality of the visualized data, type of the viewed data (risk factor groups, clustered groups, data alerts, conclusions etc.) and efficient user-software interaction directly influenced decisions about system design, in particular the design of the doctor's/patient's user interface sides, input methods and user-software interaction techniques, ending in to a hybrid setup of interface.
We present a systematic approach to the automatic generation of platform-independent benchmarks of tailored complexity for evaluating verification tools for reactive systems. Key to this approach is a tool chain that ...
详细信息
The principle of network construction and the principle of request signals service of Secondary surveillance radar systems predetermined the work of the respondents of the considered systems in conditions of intra-sys...
详细信息
In this paper we advocate to introduce a common modelling pattern for all the different layers of middleware based on services. This opens the possibility to flexibly choose the adequate levels for realizing specific ...
详细信息
ISBN:
(纸本)9781595939326
In this paper we advocate to introduce a common modelling pattern for all the different layers of middleware based on services. This opens the possibility to flexibly choose the adequate levels for realizing specific features, and it allows all stakeholders to get a global picture of the overall scenario, a central factor when considering the convergence in networks and applications. Moreover, it allows to apply validations methods like model-based testing and model checking homogeneously, throughout the whole modelling hierarchy, from the underlying converging platforms to the user level. Copyright 2007 ACM.
It is the intent of this paper to describe an implementation of a curriculum compatable with the ACM “Curriculum Recommendations and Guide-lines for the Community and Junior College Career Program in Computer Program...
ISBN:
(纸本)9781450374316
It is the intent of this paper to describe an implementation of a curriculum compatable with the ACM “Curriculum Recommendations and Guide-lines for the Community and Junior College Career Program in Computer programming” (also known as the “Little Report”). In order to facilitate comparisons among curricula, this paper follows the “format” developed by members of the ACM C3S-CAJC working group.
We offer a standpoint that emotions are a necessary mechanism for autonomous control systems. By an autonomous controlled object we understand an object, that is controlled by a control system which is its on-board su...
详细信息
We offer a standpoint that emotions are a necessary mechanism for autonomous control systems. By an autonomous controlled object we understand an object, that is controlled by a control system which is its on-board subsystem. The control system performs learning and control in one process. We develop a methodology of autonomous adaptive control (AAC), that allows us to construct a control system for a given controlled object. As the control goals we take the controlled object survival and the knowledge accumulation. As a whole these goals bring maximization of the controlled object lifetime. We suggest an emotions modeling mechanism (EM). We give the description of its functions and their implementation in AAC methodology. These functions are: (1) a compulsion of the control system for activity; (2) an appreciation of the CO current state at its quality; (3) an appreciation of the formed patterns and their usefulness for control goals; (4) an influence on tempo and depth of reasoning of decision making in current state; (5) providing the decision making subsystem with emotional appraisals of the recognized patterns; (6) providing transfer of information on patterns of emotional appraisals simultaneously with information on the patterns while the organism interacts with another organism.
We combine state-of-the-art techniques from computational linguisticsand theorem proving to build an engine for playing text adventures,computer games with which the player interacts purely through naturallanguage. Th...
We combine state-of-the-art techniques from computational linguisticsand theorem proving to build an engine for playing text adventures,computer games with which the player interacts purely through naturallanguage. The system employs a parser for dependency grammar and ageneration system based on TAG, and has components for resolving andgenerating referring expressions. Most of these modules make heavy useof inferences offered by a modern theorem prover for descriptionlogic. Our game engine solves some problems inherent in classical textadventures, and is an interesting test case for the interactionbetween natural language processing and inference.
暂无评论