3199 search results - page 326 / 640 » Variability in Automation System Models |
163
click to vote
ECSQARU
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. For this we conside...
139
click to vote
CSL
2007
Springer
15 years 6 months ago
2007
Springer
Humans are able to recognise a word before its acoustic realisation is complete. This in contrast to conventional automatic speech recognition (ASR) systems, which compute the lik...
310
click to vote
FROCOS
2011
Springer
14 years 6 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...
197
click to vote
EPIA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
177
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...