7118 search results - page 296 / 1424 » Electrical and Computer Engineering |
108
click to vote
CODES
1998
IEEE
15 years 7 months ago
1998
IEEE
Many applications include a variety off unctions from different domains. Therefore, they are best modeled with a combination of different modeling languages. For a sound design pr...
103
click to vote
APL
1998
ACM
15 years 7 months ago
1998
ACM
This article describes how array predicates were used to reduce the computational complexity of four APL primitive functions when one of their arguments is a permutation vector. T...
116
click to vote
WADT
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
125
click to vote
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
114
click to vote
EDUTAINMENT
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We have developed a learning platform to simplify and improve teaching and practice of Computer Graphics for beginners and advanced students. Our goal is to offer a set o...