Sciweavers

5810 search results - page 478 / 1162
» An Approach to Programming Based on Concepts
Sort
View
ESOP
2001
Springer
15 years 11 months ago
Modeling an Algebraic Stepper
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
John Clements, Matthew Flatt, Matthias Felleisen
WECWIS
2009
IEEE
159views ECommerce» more  WECWIS 2009»
16 years 1 months ago
Context-Aware Recommendation by Aggregating User Context
— Traditional recommendation approaches do not consider the changes of user preferences according to context. As a result, these approaches consider the user’s overall preferen...
Dongmin Shin, Jae-won Lee, Jongheum Yeon, Sang-goo...
SOMET
2007
15 years 8 months ago
Automated Design Improvement by Example
The high cost of software maintenance could potentially be reduced by automatically improving the design of object-oriented programs without altering their behaviour. We have const...
Mark O'Keeffe, Mel Ó Cinnéide
AIEDAM
2007
191views more  AIEDAM 2007»
15 years 7 months ago
Ontology-based design information extraction and retrieval
Because of the increasing complexity of products and the design process, as well as the popularity of computer-aided documentation tools, the number of electronic and textual desi...
Zhanjun Li, Karthik Ramani
ICLP
2009
Springer
16 years 7 months ago
A Tabling Implementation Based on Variables with Multiple Bindings
Suspension-based tabling systems have to save and restore computation states belonging to OR branches. Stack freezing combined with (forward) trailing is among the better-known imp...
Pablo Chico de Guzmán, Manuel Carro, Manuel...