3082 search results - page 330 / 617 » Deviation Analysis: A New Use of Model Checking |
166
click to vote
HICSS
2003
IEEE
15 years 12 months 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 ...
206
click to vote
STEP
2003
IEEE
15 years 12 months 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...
228
click to vote
SOCIALCOM
2010
15 years 4 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, ...
167
click to vote
ICPR
2002
IEEE
16 years 7 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...
152
click to vote
CIVR
2005
Springer
16 years 4 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...