Sciweavers

51 search results - page 5 / 11
» LegalRuleML: Design Principles and Foundations
Sort
View
ETS
2000
IEEE
82views Hardware» more  ETS 2000»
14 years 9 months ago
Towards a Philosophy of Instruction
What is the nature of instructional design? Is instructional design merely the practical application of learning theories to learning situations? What elements form the building b...
J. Michael Spector
VTS
2003
IEEE
87views Hardware» more  VTS 2003»
15 years 3 months ago
An Analog Checker with Dynamically Adjustable Error Threshold for Fully Differential Circuits
We present a novel analog checker that adjusts dynamically the error threshold to the magnitude of its input signals. We demonstrate that this property is crucial for accurate con...
Haralampos-G. D. Stratigopoulos, Yiorgos Makris
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
15 years 3 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra
GRC
2008
IEEE
14 years 11 months ago
Granular Problem Solving and Software Engineering
Granulation is an important component of Granular Computing (GrC) as a problem solving paradigm. Specification and regulation of granulation are necessary in helping researchers a...
Haibin Zhu
AAMAS
2007
Springer
14 years 10 months ago
Conversational semantics sustained by commitments
We propose an operational model that combines message meaning and conversational structure in one comprehensive approach. Our long-term research goal is to lay down principles unit...
Roberto A. Flores, Philippe Pasquier, Brahim Chaib...