8781 search results - page 1282 / 1757 » Enterprise Model Integration |
208
click to vote
ICCS
2004
Springer
16 years 7 days ago
2004
Springer
Real world problems such as fire propagation prediction, can often be considered as a compositional combination of multiple, simple but coupled subproblems corresponding to analyt...
182
click to vote
ICCS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. A data driven system implies the need to integrate data acquisition and signal processing into the same system that will interact with this information. This can be done ...
236
click to vote
NMR
2004
Springer
16 years 7 days ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
160
click to vote
TACAS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
184
click to vote
WAPCV
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Selective attention shift can help neural networks learn invariance. We describe a method that can produce a network with invariance to changes in visual input caused by ...