9067 search results - page 640 / 1814 » Adaptive Model Checking |
211
click to vote
IVA
2010
Springer
15 years 5 months ago
2010
Springer
In earlier studies, user involvement with an embodied software agent and willingness to use that agent were partially determined by the aesthetics of the design and the moral fiber...
221
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
190
click to vote
FMCO
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
233
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
In this paper, we propose to use the Colored Pattern Appearance Model (CPAM) as a content representation for video scene break detection. This model represents a scene by means of...
182
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
OneClassMaxMinOver (OMMO) is a simple incremental algorithm for one-class support vector classification. We propose several enhancements and heuristics for improving model select...