1615 search results - page 113 / 323 » Adaptive programming in JAsCo |
146
click to vote
PCM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper proposes an online segmentation scheme for broadcasted American football TV programs. The TV video streams are online partitioned into a series of play-break p...
169
click to vote
AOSD
2010
ACM
16 years 1 months ago
2010
ACM
The development of complex software requires the implementation of functions over a variety of recursively defined data structures. The design (and modeling) of structures can it...
187
click to vote
TPHOL
2008
IEEE
16 years 22 days ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
145
click to vote
ICLP
2007
Springer
16 years 15 days ago
2007
Springer
We propose a novel technique that maps decision problems in WS1S (weak monadic second-order logic with n successors) to the problem of query evaluation of Complex-value Datalog que...
148
click to vote
MMM
2006
Springer
16 years 11 days ago
2006
Springer
This paper presents a SVM-based prediction approach for constructing personal recommendation system for TV programs. We have applied Support Vector Machine (SVM) to personal predi...