8132 search results - page 381 / 1627 » Dependability, Abstraction, and Programming |
162
Voted
ITCC
2005
IEEE
16 years 13 days ago
2005
IEEE
Abstract: Evidence of some attacks can be manifested by abnormal sequences of system calls of programs. Most approaches that have been developed so far mainly concentrate on some p...
200
click to vote
ECSQARU
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
182
Voted
CPAIOR
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Constraint programming based column generation is a hybrid optimization framework recently proposed that uses constraint programming (CP) to solve column generation subpr...
178
click to vote
CSCLP
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
158
click to vote
PCM
2004
Springer
16 years 6 days 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...