1704 search results - page 136 / 341 » Modeling virtualized applications using machine learning tec... |
116
Voted
SBMF
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
130
Voted
APLAS
2004
ACM
15 years 8 months ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...
119
Voted
CCGRID
2005
IEEE
15 years 8 months ago
2005
IEEE
We describe a case study that uses grid computing techniques to support the collaborative learning of high school students investigating cosmic rays. Students gather and upload sc...
141
Voted
ICCV
2005
IEEE
15 years 8 months ago
2005
IEEE
— We present a general approach for the hierarchical segmentation and labeling of document layout structures. This approach models document layout as a grammar and performs a glo...
134
Voted
ICML
2008
IEEE
16 years 3 months ago
2008
IEEE
Deep Belief Networks (DBN's) are generative models that contain many layers of hidden variables. Efficient greedy algorithms for learning and approximate inference have allow...