572 search results - page 99 / 115 » Test Generation for Intelligent Networks Using Model Checkin... |
KES
2007
Springer
13 years 7 months ago
2007
Springer
Chance discovery provides a way to find rare but very important events for future decision making. It can be applied to stock market prediction, earthquake alarm, intrusion detect...
CGF
2006
13 years 7 months ago
2006
Based on the potential of current programmable GPUs, recently several approaches were developed that use the GPU to calculate deformations of surfaces like the folding of cloth or...
ICAC
2009
IEEE
14 years 2 months ago
2009
IEEE
The complexity of large computer systems has raised unprecedented challenges for system management. In practice, operators often collect large volume of monitoring data from system...
AIEDU
2005
13 years 7 months ago
2005
To help a student in an introductory physics course do quantitative homework problems, an intelligent tutoring system must determine information of an algebraic nature. This paper...
ATVA
2004
Springer
14 years 29 days ago
2004
Springer
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...