Sciweavers

7103 search results - page 268 / 1421
» Components and Generative Programming
Sort
View
ACTA
2004
86views more  ACTA 2004»
15 years 2 months ago
Specification transformers: a predicate transformer approach to composition
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
Michel Charpentier, K. Mani Chandy
CIVR
2003
Springer
127views Image Analysis» more  CIVR 2003»
15 years 7 months ago
Detection of Documentary Scene Changes by Audio-Visual Fusion
The concept of a documentary scene was inferred from the audio-visual characteristics of certain documentary videos. It was observed that the amount of information from the visual ...
Atulya Velivelli, Chong-Wah Ngo, Thomas S. Huang
SMA
2003
ACM
170views Solid Modeling» more  SMA 2003»
15 years 7 months ago
Contour generators of evolving implicit surfaces
The contour generator is an important visibility feature of a smooth object seen under parallel projection. It is the curve on the surface which seperates front-facing regions fro...
Simon Plantinga, Gert Vegter
ECOOP
2004
Springer
15 years 5 months ago
Early Identification of Incompatibilities in Multi-component Upgrades
Previous work proposed a technique for predicting problems resulting from replacing one version of a software component by another. The technique reports, before performing the rep...
Stephen McCamant, Michael D. Ernst
CSL
2002
Springer
15 years 1 months ago
Stochastic natural language generation for spoken dialog systems
We describe a corpus-based approach to natural language generation (NLG). The approach has been implemented as a component of a spoken dialog system and a series of evaluations we...
Alice Oh, Alexander I. Rudnicky