Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
9,840
FAULT DETECTION FOR SEQUENTIALLY CONTROLLED MACHINES USING TEMPORAL CONSTRAINT NETS
"... Abstract. A new method for fault detection is presented. It is based on a system description using temporal constraint nets. Temporal constraint nets are extended constraint nets capable of dealing with values that change with time. Faults are detected if observed behavior does not match the descrip ..."
Abstract
- Add to MetaCart
Abstract. A new method for fault detection is presented. It is based on a system description using temporal constraint nets. Temporal constraint nets are extended constraint nets capable of dealing with values that change with time. Faults are detected if observed behavior does not match
Modelling And Monitoring Real-Time Systems With Temporal Constraint Nets
"... An extension of constraint nets to temporal constraint nets is presented. Temporal constraint nets are able to describe dependencies between values varying with time. Their advantage is demonstrated in using them as a formal means for modelling and monitoring realtime systems. Fault detection in tho ..."
Abstract
- Add to MetaCart
An extension of constraint nets to temporal constraint nets is presented. Temporal constraint nets are able to describe dependencies between values varying with time. Their advantage is demonstrated in using them as a formal means for modelling and monitoring realtime systems. Fault detection
Maintaining knowledge about temporal intervals
- COMMUNICATION OF ACM
, 1983
"... The problem of representing temporal knowledge arises in many areas of computer science. In applications in which such knowledge is imprecise or relative, current representations based on date lines or time instants are inadequate. An interval-based temporal logic is introduced, together WiUl a comp ..."
Abstract
-
Cited by 2942 (13 self)
- Add to MetaCart
computationally effective reasoning algorithm based on constraint- propagation. This system is notable in offering a delicate balance between expressive power and the efficiency of its deductive engine. A notion of reference intervals is introduced which captures the temporal hierarchy implicit in many domains
Constraint propagation algorithms for temporal reasoning
- Readings in Qualitative Reasoning about Physical Systems
, 1986
"... Abstract: This paper revises and expands upon a paper presented by two of the present authors at AAAI 1986 [Vilain & Kautz 1986]. As with the original, this revised document considers computational aspects of intervalbased and point-based temporal representations. Computing the consequences of t ..."
Abstract
-
Cited by 428 (5 self)
- Add to MetaCart
reasoning; of these, one of the most attractive is James Allen's algebra of temporal intervals [Allen 1983]. This representation scheme is particularly appealing for its simplicity and for its ease of implementation with constraint propagation algorithms. Reasoners based on
Partial Constraint Satisfaction
, 1992
"... . A constraint satisfaction problem involves finding values for variables subject to constraints on which combinations of values are allowed. In some cases it may be impossible or impractical to solve these problems completely. We may seek to partially solve the problem, in particular by satisfying ..."
Abstract
-
Cited by 471 (21 self)
- Add to MetaCart
. Constraint satisfaction has wide application in artificial intelligence, in areas ranging from temporal r...
High Accuracy Optical Flow Estimation Based on a Theory for Warping
, 2004
"... We study an energy functional for computing optical flow that combines three assumptions: a brightness constancy assumption, a gradient constancy assumption, and a discontinuity-preserving spatio-temporal smoothness constraint. ..."
Abstract
-
Cited by 509 (45 self)
- Add to MetaCart
We study an energy functional for computing optical flow that combines three assumptions: a brightness constancy assumption, a gradient constancy assumption, and a discontinuity-preserving spatio-temporal smoothness constraint.
Algorithms for Constraint-Satisfaction Problems: A Survey
, 1992
"... A large number of problems in AI and other areas of computer science can be viewed as special cases of the constraint-satisfaction problem. Some examples are machine vision, belief maintenance, scheduling, temporal reasoning, graph problems, floor plan design, the planning of genetic experiments, an ..."
Abstract
-
Cited by 449 (0 self)
- Add to MetaCart
A large number of problems in AI and other areas of computer science can be viewed as special cases of the constraint-satisfaction problem. Some examples are machine vision, belief maintenance, scheduling, temporal reasoning, graph problems, floor plan design, the planning of genetic experiments
Generating Representative Web Workloads for Network and Server Performance Evaluation
, 1997
"... One role for workload generation is as a means for understanding how servers and networks respond to variation in load. This enables management and capacity planning based on current and projected usage. This paper applies a number of observations of Web server usage to create a realistic Web worklo ..."
Abstract
-
Cited by 944 (11 self)
- Add to MetaCart
references; 5) temporal locality of reference; and 6) idle periods of individual users. This paper reviews the essential elements required in the generation of a representative Web workload. It also addresses the technical challenges to satisfying this large set of simultaneous constraints on the properties
The faculty of language: what is it, who has it, and how did it evolve?
- Science,
, 2002
"... We argue that an understanding of the faculty of language requires substantial interdisciplinary cooperation. We suggest how current developments in linguistics can be profitably wedded to work in evolutionary biology, anthropology, psychology, and neuroscience. We submit that a distinction should ..."
Abstract
-
Cited by 472 (7 self)
- Add to MetaCart
, after they proved to have utility in communication, were altered because of constraints imposed at both the periphery (e.g., what we can hear and say or see and sign, the rapidity with which the auditory cortex can process rapid temporal and spec-
Results 1 - 10
of
9,840
