3742 search results - page 449 / 749 » On the Use of Formal Techniques for Validation |
169
click to vote
BPM
2009
Springer
16 years 1 months ago
2009
Springer
Process Mining is a technology for extracting non-trivial and useful information from execution logs. For example, there are many process mining techniques to automatically discove...
146
click to vote
CBMS
2008
IEEE
16 years 1 months ago
2008
IEEE
There is very limited research published in the literature that applies content-based image retrieval (CBIR) techniques to retrieval of digitized spine X-ray images using a combin...
183
Voted
SCAM
2007
IEEE
16 years 29 days ago
2007
IEEE
Java bytecode instrumentation is a widely used technique, especially for profiling purposes. In order to ensure the instrumentation of all classes in the system, including dynami...
202
click to vote
IPPS
2005
IEEE
16 years 8 days ago
2005
IEEE
Optimizing the performance of dynamic load balancing toolkits and applications requires the adjustment of several runtime parameters; however, determining sufficiently good value...
164
Voted
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
Designing agents whose behavior challenges human players adequately is a key issue in computer games development. This work presents a novel technique, based on reinforcement lear...