Sciweavers

2553 search results - page 390 / 511
» Evaluating machine creativity
Sort
View
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
15 years 10 months ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
CC
2007
Springer
143views System Software» more  CC 2007»
15 years 10 months ago
Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks
Implementing a new programming language by the means of a translator to an existing language is attractive as it provides portability over all platforms supported by the host langu...
Jason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek
ECTEL
2007
Springer
15 years 10 months ago
Smart Indicators on Learning Interactions
Indicators help actors to organise, orientate and navigate through complex environments by providing contextual information relevant for the performance of learning tasks. In this ...
Christian Glahn, Marcus Specht, Rob Koper
ECTEL
2007
Springer
15 years 10 months ago
Star Rating for Social Care Services: Simulation Scenario in the PROLIX Framework
According to the Commission for Social Care Inspection, performance in Care Homes can be evaluated through a range of indicators in each of the different outcome areas specified by...
Lucia Pannese, Marcello Allegri, Maria Carlesi, Ga...
ESWS
2007
Springer
15 years 10 months ago
Semantic Process Retrieval with iSPARQL
Abstract. The vision of semantic business processes is to enable the integration and inter-operability of business processes across organizational boundaries. Since different orga...
Christoph Kiefer, Abraham Bernstein, Hong Joo Lee,...