4815 search results - page 350 / 963 » A Pattern Approach to Modeling the Provider Selection Proble... |
160
Voted
IEAAIE
2000
Springer
15 years 8 months ago
2000
Springer
Enabling a domain expert to maintain his own knowledge in a Knowledge Based System has long been an ideal for the Knowledge Engineering community. In this paper we report on our ex...
142
click to vote
MSV
2004
15 years 6 months ago
2004
- We present a model describing the electrical behavior of the heart tissue. Previous research in this field have studied this problem using PDEs (Partial Differential Equations) a...
156
click to vote
ECBS
2010
IEEE
15 years 12 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
176
click to vote
CIKM
2010
Springer
15 years 3 months ago
2010
Springer
The explosive increase of image data on Internet has made it an important, yet very challenging task to index and automatically annotate image data. To achieve that end, sophistic...
153
Voted
WSC
1998
15 years 6 months ago
1998
The use of the World Wide Web and Java-based mobile code provides new opportunities for distributed simulation. First, the infrastructure provided by the Internet eliminates the n...