4166 search results - page 551 / 834 » Automating the constraining process |
123
click to vote
MIR
2003
ACM
15 years 9 months ago
2003
ACM
To manage the massive growth of sport videos, we need to summarize the contents into a more compact and interesting representation. Unlike previous work which summarized either hi...
132
click to vote
ECSQARU
2003
Springer
15 years 9 months ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
169
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
119
click to vote
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
Geophysics research has been faced with a growing need for automated techniques with which to process large quantities of data. A successful tool must meet a number of requirements...
160
click to vote
ISCIS
2003
Springer
15 years 9 months ago
2003
Springer
Electronic commerce technology offers the opportunity to integrate and optimize the global production and distribution on supply chain. Computers of various corporations, located t...