2293 search results - page 144 / 459 » Temporal Logic in Information Systems |
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
The requirement for power system operators to respond more efficiently to the stressed power system conditions that may create large number of alarms asks fort advanced alarm proc...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
The Web is rapidly moving towards a platform for mass collaboration in content production and consumption. Fresh content on a variety of topics, people, and places is being create...
CLEF
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The paper features MAVE, a knowledge-based system for answer validation through deep linguistic processing and logical inference. A relaxation loop is used to determine a...
101
click to vote
FLAIRS
2000
14 years 11 months ago
2000
In recent years, fuzzy logic has been applied successfully to a wide range of problems. This paper shows how it can be utilized in the area of spatial reasoning, in particular geo...
DFT
2003
IEEE
15 years 3 months ago
2003
IEEE
Safety-critical embedded systems often operate in harsh environmental conditions that necessitate fault-tolerant computing techniques. Many safety-critical systems also execute re...