Sciweavers

3792 search results - page 466 / 759
» Techniques for Trusted Software Engineering
Sort
View
IUI
2004
ACM
16 years 5 days ago
Evaluation of visual balance for automated layout
Layout refers to the process of determining the size and position of the visual objects in an information presentation. We introduce the WeightMap, a bitmap representation of the ...
Simon Lok, Steven Feiner, Gary Ngai
COMPSAC
2003
IEEE
16 years 1 days ago
Automated Metamorphic Testing
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...
Arnaud Gotlieb, Bernard Botella
IUI
2003
ACM
16 years 12 hour ago
Towards more conversational and collaborative recommender systems
Current recommender systems, based on collaborative filtering, implement a rather limited model of interaction. These systems intelligently elicit information from a user only dur...
Giuseppe Carenini, Jocelyin Smith, David Poole
IUI
2003
ACM
16 years 12 hour ago
Dynamic web page authoring by example using ontology-based domain knowledge
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...
José Antonio Macías Iglesias, Pablo ...
KBSE
2002
IEEE
15 years 11 months ago
Generating Test Data for Functions with Pointer Inputs
Generating test inputs for a path in a function with integer and real parameters is an important but difficult problem. The problem becomes more difficult when pointers are pass...
Srinivas Visvanathan, Neelam Gupta