1486 search results - page 94 / 298 » Mathematical Fuzzy Logics |
148
Voted
LPAR
2001
Springer
15 years 9 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
136
click to vote
MKM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
150
click to vote
ADHOCNETS
2010
Springer
15 years 2 months ago
2010
Springer
Event detection is a central component in numerous wireless sensor network (WSN) applications. In spite of this, the area of event description has not received enough attention. Th...
118
click to vote
MICAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, a new fuzzy logic-based approach to production scheduling in the presence of uncertain disruptions is presented. The approach is applied to a real-life pro...
135
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, an efficiently DWT-based watermarking technique is proposed to embed signatures in images to attest the owner identification and discourage the unauthorized copying...