Sciweavers

8109 search results - page 165 / 1622
» A Model of Component-Based Programming
Sort
View
198
Voted
ICLP
2009
Springer
16 years 5 months ago
Debugging for Model Expansion
Johan Wittocx, Hanne Vlaeminck, Marc Denecker
144
Voted
LICS
1989
IEEE
15 years 9 months ago
Faithful Ideal Models for Recursive Polymorphic Types
We explore ideal models for a programming language with recursive polymorphic types, variants of the model studied by MacQueen, Plotkin, and Sethi. The use of suitable ideals yiel...
Martín Abadi, Benjamin C. Pierce, Gordon D....
CIKM
2009
Springer
15 years 9 months ago
An empirical study on using hidden markov model for search interface segmentation
This paper describes a hidden Markov model (HMM) based approach to perform search interface segmentation. Automatic processing of an interface is a must to access the invisible co...
Ritu Khare, Yuan An
ATAL
2008
Springer
15 years 7 months ago
A 'companion' ECA with planning and activity modelling
In this paper, we describe the development of an Embodied Conversational Agent (ECA) implementing the concept of a companion, i.e. an agent supporting the persistent representatio...
Marc Cavazza, Cameron Smith, Daniel Charlton, Li Z...
192
Voted
GECCO
2005
Springer
108views Optimization» more  GECCO 2005»
15 years 10 months ago
Evolving recurrent models using linear GP
Turing complete Genetic Programming (GP) models introduce the concept of internal state, and therefore have the capacity for identifying interesting temporal properties. Surprisin...
Xiao Luo, Malcolm I. Heywood, A. Nur Zincir-Heywoo...