271 search results - page 40 / 55 » Using Fuzzy Logic in Automated Vehicle Control |
220
Voted
FROCOS
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
143
Voted
ICLP
1999
Springer
15 years 7 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
111
Voted
TSMC
2002
15 years 2 months ago
2002
Alerting systems and related decision-making automation are widely used to enhance the safety and capability of controlled processes across many applications. Traditional alerting ...
122
Voted
DAC
2006
ACM
16 years 3 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
114
Voted
AUSAI
2005
Springer
15 years 8 months ago
2005
Springer
This paper addresses the problem of scheduling jobs in soft real-time systems, where the utility of completing each job decreases over time. We present a utility-based framework fo...