Sciweavers

274 search results - page 20 / 55
» Generative Programming Driven by User Models
Sort
View
89
Voted
SIGIR
2006
ACM
15 years 3 months ago
Personalized recommendation driven by information flow
We propose that the information access behavior of a group of people can be modeled as an information flow issue, in which people intentionally or unintentionally influence and in...
Xiaodan Song, Belle L. Tseng, Ching-Yung Lin, Ming...
ICSE
2004
IEEE-ACM
15 years 9 months ago
Generating Tests from Counterexamples
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger,...
UM
2007
Springer
15 years 3 months ago
Preference-Based Organization Interfaces: Aiding User Critiques in Recommender Systems
Users’ critiques to the current recommendation form a crucial feedback mechanism for refining their preference models and improving a system’s accuracy in recommendations that ...
Li Chen, Pearl Pu
APVIS
2004
14 years 11 months ago
Displaying Linear Programs and Their Solutions With XML and SVG
We describe a modelling language, called XML:LP, for presenting linear and integer programs in XML, with related tools for displaying models and their solutions in web browsers. O...
Hans Chang, John F. Raffensperger, Neville Churche...
JOT
2008
100views more  JOT 2008»
14 years 9 months ago
Panda: a Pattern-based Programming System for Automatic Code Generation
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
Daniele Mazzeranghi