1361 search results - page 92 / 273 » Spaces of practice |
105
click to vote
CAV
1994
Springer
15 years 4 months ago
1994
Springer
This paper presents a new formalism and a new algorithm for verifying timed circuits. The formalism, called orbital nets, allows hierarchical verification based on abehavioralseman...
105
click to vote
ECTEL
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The paper provides an overview of the elaboration, testing and improvement of Movelex, a complex virtual learning environment (VLE) supporting the establishment of self-r...
112
Voted
PPSN
2000
Springer
15 years 4 months ago
2000
Springer
Real-coded Adaptive Range Genetic Algorithms (ARGAs) have been applied to a practical three-dimensional shape optimization for aerodynamic design of an aircraft wing. The real-code...
109
Voted
ICSM
1995
IEEE
15 years 4 months ago
1995
IEEE
This paper describes ongoing work on a domainretargetable reverse engineering environment which is used to aid the structural understanding of large information spaces. In particu...
92
Voted
NIPS
1994
15 years 2 months ago
1994
The spatial distribution and time course of electrical signals in neurons have important theoretical and practical consequences. Because it is difficult to infer how neuronal form...