This paper is concerned with a fundamental issue in knowledge representation and reasoning that, surprisingly, has received little attention so far. The point is that inserting some logically weaker (but, in a sense, more precise) information within a logic-based representation is not a straightforward process if the extra information must prevail. Indeed, it does neither prevail by itself nor ...

Location monitoring system for rescue disable persons by switching the location estimation methods with GPS, ZigBee and WiFi beacon is proposed. Rescue system with triage using health condition monitoring together with location and attitude monitoring as well as the other data acquired with mobile devices is evaluated with the proposed location monitoring system. Through simulation study, influ...

Notions of weak and strong fairness are studied in the setting of the I/O automaton model of Lynch & Tuttle. The concept of a fair I/O automaton is introduced and it is shown that a fair I/O automaton paired with the set of its fair executions is a live I/O automaton provided that (1) in each reachable state at most countably many fairness sets are enabled, and (2) input actions cannot disable ...

This document specifies the following 16 additional OPTIONAL system administration operations for use with the Internet Printing Protocol/1.1 (IPP), plus a few associated attributes, values, and status codes, and using the IPP Printer object to manage printer fan-out and fan-in. Printer operations: Job operations: Enable-Printer and Disable-Printer Reprocess-Job Pause-Printer-After-Current-Job ...

a number of individuals with speC' qualifications to deal with the m3' problems involved. . ^ Such a team includes those specia^ qualified to assess the degree disability, to formulate the st\ necessary to its partial or cornp' j cure, to evaluate the final results ^ to provide the maximum P?sSlw opportunity for the individual vV[(1 has benefited from these services* regain his position as a wo...

We introduce FlowMouse, a computer vision-based pointing device and gesture input system. FlowMouse uses optical flow techniques to model the motion of the hand and a capacitive touch sensor to enable and disable interaction. By using optical flow rather than a more traditional tracking based method, FlowMouse is exceptionally robust, simple in design, and offers opportunities for fluid gesture...

One of the most fundamental language constructs of equation-based objectoriented languages is the possibility to state acausal connections, where both potential variables and flow variables exist. Several of the state-ofthe art languages in this category are informally specified using natural language. This can make the languages hard to interpret, reason about, and disable the possibility to g...

We discuss the problem of runtime verification of an instrumented program that misses to emit and to monitor some events. These gaps can occur when a monitoring overhead control mechanism is introduced to disable the monitor of an application with real-time constraints. We show how to use statistical models to learn the application behavior and to “fill in” the introduced gaps. Finally, we pres...

In low voltage distribution networks, there is a high risk of fires caused by wiring faults that lead to short circuits. Arcing protection devices (ARCs) already exist, but experiments show they also often do not disable such faults. The operation most existing arc fault detection based on the frequency current components and their comparison with load profiles. For fast recognition low-frequen...

The ability of multiple manned and unmanned aircraft systems to cooperatively engage disable an aerial threat plays a decisive role in modern warfare scenarios. In this paper, we apply key methods enable the so-called cooperative engagement capability among networked agents, e.g., swarm drones, with combat communication capabilities. particular, research combines AI-based decision-making contro...