1061 search results - page 24 / 213 » Dependently Sorted Logic |
CAV
1998
Springer
14 years 2 months ago
1998
Springer
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
RSCTC
2000
Springer
14 years 1 months ago
2000
Springer
Induction of decision rules within the dominance-based rough set approach to the multiple-criteria sorting decision problem is discussed in this paper. We introduce an algorithm ca...
ERSA
2006
13 years 11 months ago
2006
In a coarse-grained reconfigurable architecture, the functions of resources such as Arithmetic Logic Units (ALUs) can be reconfigured. Unlike the programmability of a general purp...
FSKD
2008
Springer
13 years 11 months ago
2008
Springer
This research uses the Analytic Hierarchy Process (AHP) and analysis level procedural law to assess adolescent golf player’s skills and inform the coaches of the training they s...
APAL
1999
13 years 9 months ago
1999
We give a sound and complete propositional S5 tableau system of a particularly simple sort, having an easy completeness proof. It sheds light on why the satisfiability problem for...