10802 search results - page 223 / 2161 » Generative and developmental systems |
96
Voted
IVA
2007
Springer
15 years 6 months ago
2007
Springer
The Text2Dialogue (T2D) system that we are developing allows digital content creators to generate attractive multi-modal dialogues presented by two virtual agents—by simply provi...
103
Voted
KBSE
2006
IEEE
15 years 6 months ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
84
Voted
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
- This paper extends the depth first search (DFS) used in the previously proposed witness string method for generating efficient test vectors. A state pruning method is added that ...
123
click to vote
PADL
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
93
Voted
WEBI
2005
Springer
15 years 6 months ago
2005
Springer
Automated methods for resource annotation are a clear necessity, as the success of the Semantic Web depends on the availability of Web resources with meta-data conforming to known...