Sciweavers

7103 search results - page 268 / 1421
» Components and Generative Programming
Sort
View
ACTA
2004
86views more  ACTA 2004»
13 years 10 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»
14 years 4 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»
14 years 4 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
14 years 2 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
13 years 10 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