Sciweavers

4255 search results - page 383 / 851
» Cover
Sort
View
SWAP
2007
15 years 8 months ago
An Approach to Decision Support in Heart Failure
Chronic heart failure is a severe clinical syndrome among the most remarkable for prevalence and morbidity in the developed western countries. The European STREP project HEARTFAID ...
Sara Colantonio, Massimo Martinelli, Davide Moroni...
TAMODIA
2007
15 years 8 months ago
Articulating Interaction and Task Models for the Design of Advanced Interactive Systems
Mixed Interactive Systems (MIS) is a generic term encompassing mixed and augmented reality, augmented virtuality, and tangible interfaces systems. The work we present in this paper...
Syrine Charfi, Emmanuel Dubois, Rémi Bastid...
AIPS
2009
15 years 8 months ago
The Influence of k-Dependence on the Complexity of Planning
A planning problem is k-dependent if each action has at most k pre-conditions on variables unaffected by the action. This concept is well-founded since k is a constant for all but...
Omer Giménez, Anders Jonsson
BIRTHDAY
2009
Springer
15 years 8 months ago
An ASM-Characterization of a Class of Distributed Algorithms
Conventional computation models restrict to particular data structures to represent states of a computation, e.g. natural numbers, s, stacks, etc. Gurevich's Abstract State Ma...
Andreas Glausch, Wolfgang Reisig
CAISE
2008
Springer
15 years 8 months ago
Computer-Aided Method Engineering: An Analysis of Existing Environments
Analogous to Computer-Aided Software Engineering (CASE), which aims to facilitate Software Engineering through specialized tools, ComputerAided Method Engineering (CAME) strives to...
Ali Niknafs, Raman Ramsin