Sciweavers

1729 search results - page 58 / 346
» Practical Temporal Projection
Sort
View
CPAIOR
2009
Springer
14 years 2 months ago
Solution Enumeration for Projected Boolean Search Problems
Many real-world problems require the enumeration of all solutions of combinatorial search problems, even though this is often infeasible in practice. However, not always all parts ...
Martin Gebser, Benjamin Kaufmann, Torsten Schaub
CSEE
2009
Springer
14 years 2 months ago
Using Software Project Courses to Integrate Education and Research: An Experience Report
At University of Southern California (USC), CSCI577ab is a graduate software engineering course that teaches best software engineering practices and allows students to apply the l...
Supannika Koolmanojwong, Barry W. Boehm
ERCIMDL
2010
Springer
130views Education» more  ERCIMDL 2010»
13 years 5 months ago
LIFE-SHARE Project: Developing a Digitisation Strategy Toolkit
This poster will outline the Digitisation Strategy Toolkit created as part of the LIFE-SHARE project. The toolkit is based on the lifecycle model created by the LIFE project and ex...
Beccy Shipman, Matthew Herring, Ned Potter, Bo Mid...
IWINAC
2009
Springer
14 years 2 months ago
Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study
Computer-based decision support in health-care is becoming more and more important in recent years. Clinical Practise Guidelines are documents supporting health-care professionals ...
Guido Sciavicco, José M. Juárez, Man...
EUROPAR
2008
Springer
13 years 9 months ago
A Software Component Model with Spatial and Temporal Compositions for Grid Infrastructures
Abstract. Grids are very complex and volatile infrastructures that exhibit parallel and distributed characteristics. To harness their complexity as well as the increasing intricacy...
Hinde-Lilia Bouziane, Christian Pérez, Thie...