102 search results - page 4 / 21 » jucs 2007 |
JUCS
2007
13 years 5 months ago
2007
: This introductory paper gives some historical background to the emergence of formal methods, overviews what subsequently happened, and surveys prospects for the future. Brief
JUCS
2007
13 years 5 months ago
2007
: In this paper the problem of parameter estimation of an input – output system is discussed. It is assumed that the system is described by the relation known with accuracy to so...
JUCS
2007
13 years 5 months ago
2007
Abstract: We introduce the notion of ∧- and ∨-pairs of functions on lattices as an abstraction of the notions of metric and its related entropy for probability distributions. T...
JUCS
2007
13 years 5 months ago
2007
: This paper introduces the notion of pedagogical natural deduction systems, which are natural deduction systems with the following additional constraint: all hypotheses made in a ...
JUCS
2007
13 years 5 months ago
2007
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...