8874 search results - page 1658 / 1775 » A New Implementation of Automath |
143
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
127
click to vote
DEXA
2004
Springer
15 years 9 months ago
2004
Springer
Data integration is the process that gives users access to multiple data sources though queries against a global schema. Semantic heterogeneity has been identified as the most imp...
164
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Minimizing energy consumption is an important issue in the design of real-time embedded systems. As many embedded systems are powered by rechargeable batteries, the goal is to ext...
125
click to vote
ERCIMDL
2004
Springer
15 years 9 months ago
2004
Springer
In maintaining Digital Libraries, having bibliographic data up-to-date is critical, yet often minor irregularities may cause information isolation. Unlike documents for which vario...
151
click to vote
GISCIENCE
2004
Springer
15 years 9 months ago
2004
Springer
The spatial auto-regression (SAR) model is a popular spatial data analysis technique, which has been used in many applications with geo-spatial datasets. However, exact solutions f...