Sciweavers

8495 search results - page 151 / 1699
» IT Support for Healthcare Processes
Sort
View
JAR
2008
70views more  JAR 2008»
15 years 6 months ago
Assumption-Commitment Support for CSP Model Checking
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...
Nick Moffat, Michael Goldsmith
WETICE
1999
IEEE
15 years 10 months ago
A Concept for Supporting the Formation of Virtual Corporations through Negotiation
This paper describes a system that supports software development processes in virtual software corporations. A virtual software corporation consists of a set of enterprises that c...
Boris Kötting, Frank Maurer
FDL
2004
IEEE
15 years 10 months ago
Predictability in Real-time System Development (1) Semantics Support from Development Languages
With the increasing complexity of real-time control systems, it is important to have sufficient predictability support for a development approach in order to promote the likelihoo...
Jinfeng Huang, Jeroen Voeten, Andre Ventevogel
ICASSP
2011
IEEE
14 years 10 months ago
Decentralized support detection of multiple measurement vectors with joint sparsity
This paper considers the problem of finding sparse solutions from multiple measurement vectors (MMVs) with joint sparsity. The solutions share the same sparsity structure, and th...
Qing Ling, Zhi Tian
IJCNLP
2005
Springer
16 years 1 days ago
Relation Extraction Using Support Vector Machine
This paper presents a supervised approach for relation extraction. We apply Support Vector Machines to detect and classify the relations in Automatic Content Extraction (ACE) corpu...
Gum-Won Hong