375 search results - page 33 / 75 » Group announcement logic |
FSKD
2008
Springer
13 years 8 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...
IAJIT
2010
13 years 6 months ago
2010
: A test procedure for testing mainly the boundary scan cells, and testing partially the test access port controller in programmable logic devices, and field programmable gate arra...
JSYML
2010
13 years 6 months ago
2010
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
ISSTA
2004
ACM
14 years 1 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
SIGCSE
2002
ACM
13 years 7 months ago
2002
ACM
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...