Sciweavers

6196 search results - page 362 / 1240
» Live-Representation Process Management
Sort
View
CAISE
2006
Springer
15 years 10 months ago
Modelling and Verifying of e-Commerce Systems
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
Andreas Speck
EKAW
2004
Springer
15 years 10 months ago
Medical Ontology and Virtual Staff for a Health Network
In the context of a care network, we describe our method for reconstitution of a medical ontology via the translation of a medical database (DB) towards RDF(S) language. Then we sh...
Rose Dieng-Kuntz, David Minier, Frédé...
155
Voted
CLEF
2006
Springer
15 years 10 months ago
Answer Validation Through Robust Logical Inference
Abstract. The paper features MAVE, a knowledge-based system for answer validation through deep linguistic processing and logical inference. A relaxation loop is used to determine a...
Ingo Glöckner
192
Voted
LATIN
2000
Springer
15 years 10 months ago
Approximation Algorithms for Flexible Job Shop Problems
The Flexible Job Shop problem is a generalization of the classical job shop scheduling problem in which for every operation there is a group of machines that can process it. The p...
Klaus Jansen, Monaldo Mastrolilli, Roberto Solis-O...
CISS
2007
IEEE
15 years 8 months ago
Consensus Estimation via Belief Propagation
Abstract –In this paper, a new problem, consensus estimation, is formulated, whose setting is complementary to the well-known CEO problem. In particular, a set of nodes are emplo...
Huaiyu Dai, Yanbing Zhang