3082 search results - page 330 / 617 » Deviation Analysis: A New Use of Model Checking |
185
click to vote
HICSS
2003
IEEE
16 years 16 days ago
2003
IEEE
This paper describes the design and evaluation of COLER, a computer mediated learning environment that includes a software coach to help students collaborate while solving Entity ...
225
click to vote
STEP
2003
IEEE
16 years 15 days ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
261
click to vote
SOCIALCOM
2010
15 years 5 months ago
2010
We explore the hypothesis that it is possible to obtain information about the dynamics of a blog network by analysing the temporal relationships between blogs at a semantic level, ...
186
click to vote
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
This paper presents a new kernel method for appearance-based object recognition, highly robust to noise and occlusion. It consists of a fully connected Markov Random Field that in...
175
click to vote
CIVR
2005
Springer
16 years 24 days ago
2005
Springer
In this paper, we propose a new semantic event detection algorithm in structured video. A hybrid method that combines HMM with SVM to detect semantic events in video is proposed. T...