7430 search results - page 1074 / 1486 » Programming Applications in CIFF |
168
click to vote
PCM
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We have been working on the integration of video with supplementary documents, such as cooking programs. We propose an integration system that performs semantic segmentat...
155
click to vote
SAT
2004
Springer
16 years 4 days ago
2004
Springer
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...
156
click to vote
WABI
2004
Springer
16 years 4 days ago
2004
Springer
—In practice, one is often faced with incomplete phylogenetic data, such as a collection of partial trees or partial splits. This paper poses the problem of inferring a phylogene...
169
click to vote
COMPSAC
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
192
click to vote
EDOC
2003
IEEE
16 years 3 days ago
2003
IEEE
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...