1943 search results - page 34 / 389 » Software and higher education |
CSSE
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper introduces an adaptive Higher Order Neural Network (HONN) model and applies it in data mining such as simulating and forecasting government taxation revenues. The propo...
FSTTCS
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
FSTTCS
1993
Springer
13 years 11 months ago
1993
Springer
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
This paper describes E-Slate (http://E-Slate.cti.gr), an exploratory learning environment that builds on a componentbased approach, to enable end-users to create educational softw...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
In multi-input multi-output (MIMO) detection, semidefinite relaxation (SDR) has been shown to be an efficient high-performance approach. For BPSK and QPSK, it has been found that S...