Sciweavers

378 search results - page 43 / 76
» How Many Ways Can One Draw a Graph
Sort
View
144
Voted
UMUAI
2010
105views more  UMUAI 2010»
15 years 2 months ago
Towards personality-based user adaptation: psychologically informed stylistic language generation
Conversation is an essential component of social behavior, one of the primary means by which humans express intentions, beliefs, emotions, attitudes and personality. Thus the deve...
François Mairesse, Marilyn A. Walker
134
Voted
CW
2003
IEEE
15 years 9 months ago
Disappearing Computers, Social Actors and Embodied Agents
Presently, there are user interfaces that allow multimodal interactions. Many existing research and prototype systems introduced embodied agents, assuming that they allow a more n...
Anton Nijholt
147
Voted
FM
1991
Springer
164views Formal Methods» more  FM 1991»
15 years 7 months ago
Formalizing Design Spaces: Implicit Invocation Mechanisms
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
David Garlan, David Notkin
115
Voted
CAV
2009
Springer
155views Hardware» more  CAV 2009»
16 years 4 months ago
Better Quality in Synthesis through Quantitative Objectives
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....
Roderick Bloem, Krishnendu Chatterjee, Thomas A. H...
124
Voted
ECOOP
1999
Springer
15 years 8 months ago
Foundations for Virtual Types
Virtual types have been proposed as a notation for generic programming in object-oriented languages—an alternative to the more familiar mechanism of parametric classes. The trade...
Atsushi Igarashi, Benjamin C. Pierce