Sciweavers

203 search results - page 17 / 41
» Real Arguments Are Approximate Arguments
Sort
View
144
Voted
FOSSACS
2004
Springer
15 years 7 months ago
Polynomials for Proving Termination of Context-Sensitive Rewriting
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
Salvador Lucas
105
Voted
AIR
2005
85views more  AIR 2005»
15 years 1 months ago
On Paradox of Fuzzy Modeling: Supervised Learning for Rectifying Fuzzy Membership Function
The paradox of fuzzy modeling is recognized due to the co-existence of its effectiveness of solving uncertain problems in the real world and the skepticism of its reasonability in ...
Shaopei Lin
AIED
2009
Springer
15 years 8 months ago
Are Your Students Working Creatively Together? Automatically Recognizing Creative Turns in Student e-Discussions
In this paper, we discuss how Artificial Intelligence (AI) techniques might be brought to bear in automatically recognizing “creative reasoning” in student e-discussions. An AI...
Bruce M. McLaren, Rupert Wegerif, Jan Miksatko, Ol...
ICSEA
2007
IEEE
15 years 8 months ago
In Search of a Unified Theory of Software Engineering
Highly successful scientific disciplines have at least one common denominator; they have developed unified theories that span a large set of phenomena within the discipline. The d...
Pontus Johnson, Mathias Ekstedt
ARITH
2005
IEEE
15 years 7 months ago
The Residue Logarithmic Number System: Theory and Implementation
— The Residue Logarithmic Number System (RLNS) represents real values as quantized logarithms which, in turn, are represented using the Residue Number System (RNS). Compared to t...
Mark G. Arnold