Sciweavers

3973 search results - page 408 / 795
» Records for Logic Programming
Sort
View
OOPSLA
2009
Springer
16 years 1 months ago
Supporting model evolution through demonstration-based model transformation
Model evolution is often supported by writing model transformation rules in specialized languages. This presents challenges to those who are unfamiliar with model transformation l...
Yu Sun
UM
2007
Springer
16 years 26 days ago
Driver Destination Models
Predictive models of destinations represent an opportunity in the context of the increasing availability and sophistication of in-car driving aids. We present analyses of driversâ€...
John Krumm, Eric Horvitz
CIG
2005
IEEE
16 years 11 days ago
Bayesian Generation and Integration of K-nearest-neighbor Patterns for 19x19 Go
Abstract- This paper describes the generation and utilisation of a pattern database for 19x19 go with the Knearest-neighbor representation. Patterns are generated by browsing recor...
Bruno Bouzy, Guillaume Chaslot
ISESE
2005
IEEE
16 years 10 days ago
Dialog-based protocol: an empirical research method for cognitive activities in software engineering
This paper proposes dialog-based protocol for the study of the cognitive activities during software development and evolution. The dialog-based protocol, derived from the idea of ...
Shaochun Xu, Václav Rajlich
DBPL
1987
Springer
113views Database» more  DBPL 1987»
15 years 10 months ago
Orderings and Types in Databases
This paper investigates a method to represent database objects as typed expressions in programming languages. A simple typed language supporting non-flat records, higher-order rel...
Atsushi Ohori