12697 search results - page 148 / 2540 » Call for Papers |
170
click to vote
CSREAEEE
2009
15 years 7 months ago
2009
Abstract - This paper, presents a theoretical study of eLlearning authoring tools to produce online courses specialized in mathematical issues. We will introduce specialized module...
162
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper introduces a new algorithm dedicated to the rigorous reachability analysis of nonlinear dynamical systems. The algorithm is initially presented in the context of discre...
170
click to vote
EOR
2008
15 years 6 months ago
2008
In this paper we prove the existence and uniqueness of a solution concept for n-person games with fuzzy coalitions, which we call the Shapley mapping. The Shapley mapping, when it...
157
click to vote
FUIN
2008
15 years 6 months ago
2008
Abstract. The paper is devoted to characterizing systems with random behaviours. The characterization is based on considering systems in terms of their possible runs, called proces...
118
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper is a case study in combining theorem provers. We define a derived rule in HOL-Light, CVC PROVE, which calls CVC Lite and translates the resulting proof object back to HO...