Sciweavers

9412 search results - page 1561 / 1883
» An aspect-oriented generative approach
Sort
View
DAGSTUHL
2010
15 years 8 months ago
Pre-operative Planning and Intra-operative Guidance for Shoulder Replacement Surgery
Shoulder joint replacement, or arthroplasty, is indicated in cases where arthritis or trauma has resulted in severe joint damage that in turn causes increased pain and decreased f...
Charl P. Botha, Peter R. Krekel, Edward R. Valstar...
CATS
2007
15 years 8 months ago
Analysis of Busy Beaver Machines via Induction Proofs
The busy beaver problem is to find the maximum number of 1’s that can be printed by an n-state Turing machine of a particular type. A critical step in the evaluation of this va...
James Harland
CASCON
2008
137views Education» more  CASCON 2008»
15 years 8 months ago
Automating SLA modeling
Service Level Agreements (SLAs) define the level of service that a service provider must deliver. An SLA is a contract between service provider and consumer, and includes appropri...
Tony Chau, Vinod Muthusamy, Hans-Arno Jacobsen, El...
DAGSTUHL
2007
15 years 8 months ago
Assisting age related capabilities by ambient technology to prevent functional decline
The elderly is characterized by age related capabilities and handicaps. Whereas age related capabilities like plasticity and adaptability on changing living conditions can lead to ...
Mehmet Gövercin, Richard Willmann, Gerd Lanfe...
COMMA
2008
15 years 8 months ago
Focused search for Arguments from Propositional Knowledge
Abstract Classical propositional logic is an appealing option for modelling argumentation but the computational viability of generating an argument is an issue. Here we propose ame...
Vasiliki Efstathiou, Anthony Hunter
« Prev « First page 1561 / 1883 Last » Next »