Sciweavers

963 search results - page 105 / 193
» On the decomposition of rational functions
Sort
View
FUZZIEEE
2007
IEEE
14 years 3 months ago
Consistency of Reciprocal Preference Relations
— The consistency of reciprocal preference relations is studied. Consistency is related with rationality, which is associated with the transitivity property. For fuzzy preference...
Francisco Chiclana, Enrique Herrera-Viedma, Sergio...
GLOBECOM
2007
IEEE
14 years 3 months ago
Spectral Properties and Interpolation Error Analysis for Variable Sample Rate Conversion Systems
—The problem of variable sample rate conversion (SRC) has received much attention on account of its applications in software defined radios (SDRs) that must support a wide varie...
Andre Tkacenko
IAT
2007
IEEE
14 years 3 months ago
Planning and Choosing: Augmenting HTN-Based Agents with Mental Attitudes
This paper describes a new agent framework that fuses an HTN planner, through its underlying conceptual model, with the mental attitudes of the BDI agent architecture, thus exploi...
Gerhard Wickler, Stephen Potter, Austin Tate, Mich...
AIED
2007
Springer
14 years 3 months ago
Intelligent Tutoring and Human Tutoring in Small Groups: An Empirical Comparison
The efficacy of a tutoring system for pre-algebra instruction plus human tutoring was compared to instruction provided to small groups of middle school students by experienced huma...
Carole R. Beal, Erin Shaw, Mike Birch
TPHOL
2005
IEEE
14 years 2 months ago
Real Number Calculations and Theorem Proving
Wouldn’t it be nice to be able to conveniently use ordinary real number expressions within proof assistants? In this paper we outline how this can be done within a theorem provin...
César Muñoz, David Lester