Sciweavers

383 search results - page 27 / 77
» Knowledge Integration as a Key Problem in an ERP Implementat...
Sort
View
PAMI
2010
168views more  PAMI 2010»
13 years 6 months ago
Surface-from-Gradients without Discrete Integrability Enforcement: A Gaussian Kernel Approach
—Representative surface reconstruction algorithms taking a gradient field as input enforces the integrability constraint in a discrete manner. While enforcing integrability allo...
Heung-Sun Ng, Tai-Pang Wu, Chi-Keung Tang
ETFA
2008
IEEE
14 years 2 months ago
Challenges in the development of Mechatronic systems: The Mechatronic Component
— There is a need to replace existing mechanical and electromechanical systems with new ones, where functionality will be mainly implemented by software. The traditional approach...
Kleanthis Thramboulidis
CADE
2009
Springer
14 years 8 months ago
Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
Martin C. Rinard
ER
2006
Springer
121views Database» more  ER 2006»
13 years 11 months ago
Method Chunks for Interoperability
Interoperability is a key property of enterprise applications, which is hard to achieve due to the large number of interoperating components and semantic heterogeneity. Platform-ba...
Jolita Ralyté, Per Backlund, Harald Kü...
CP
1998
Springer
13 years 11 months ago
Modelling CSP Solution Algorithms with Petri Decision Nets
The constraint paradigm provides powerful concepts to represent and solve different kinds of planning problems, e. g. factory scheduling. Factory scheduling is a demanding optimiz...
Stephan Pontow