572 search results - page 68 / 115 » Test Generation for Intelligent Networks Using Model Checkin... |
ICOST
2007
Springer
14 years 3 months ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
IEAAIE
2007
Springer
14 years 3 months ago
2007
Springer
Recently, mobile devices are regarded as a content storage with their functions such as camera, camcorder, and music player. It creates massive new data and downloads contents from...
HAIS
2009
Springer
14 years 22 days ago
2009
Springer
One of the most important challenges in supervised learning is how to evaluate the quality of the models evolved by different machine learning techniques. Up to now, we have relied...
AIRS
2006
Springer
14 years 19 days ago
2006
Springer
Recently, much research has been proposed using nature inspired algorithms to perform complex machine learning tasks. Ant Colony Optimization (ACO) is one such algorithm based on s...
MICAI
2010
Springer
13 years 7 months ago
2010
Springer
The meaning of such verb-noun combinations as take care, undertake work, pay attention can be generalized as DO what is designated by the noun. Likewise, the meaning of make a deci...