Sciweavers

1914 search results - page 146 / 383
» Abstract lambda-Calculus Machines
Sort
View
ASPDAC
1995
ACM
130views Hardware» more  ASPDAC 1995»
13 years 12 months ago
Design for testability using register-transfer level partial scan selection
Abstract - An approach to top down design for testability using register-transfer level(RTL) partial scan selection is described. We propose a scan selection technique based on tes...
Akira Motohara, Sadami Takeoka, Toshinori Hosokawa...
ECTEL
2009
Springer
13 years 11 months ago
ReMashed - Recommendations for Mash-Up Personal Learning Environments
Abstract. The following article presents a Mash-Up Personal Learning Environment called ReMashed that recommends learning resources from emerging information of a Learning Network....
Hendrik Drachsler, Dries Pecceu, Tanja Arts, Edwin...
CIBB
2008
13 years 10 months ago
Stability and Performances in Biclustering Algorithms
Abstract. Stability is an important property of machine learning algorithms. Stability in clustering may be related to clustering quality or ensemble diversity, and therefore used ...
Maurizio Filippone, Francesco Masulli, Stefano Rov...
DIS
2008
Springer
13 years 10 months ago
Active Learning for High Throughput Screening
Abstract. An important task in many scientific and engineering disciplines is to set up experiments with the goal of finding the best instances (substances, compositions, designs) ...
Kurt De Grave, Jan Ramon, Luc De Raedt
ECTEL
2008
Springer
13 years 10 months ago
Issues in the Design of an Environment to Support the Learning of Mathematical Generalisation
Abstract. Expressing generality, recognising and analysing patterns and articulating structure is a complex task and one that is invariably problematic for students. Nonetheless, v...
Darren Pearce, Manolis Mavrikis, Eirini Geraniou, ...