Sciweavers

4231 search results - page 182 / 847
» Using Language More Responsibly
Sort
View
IFIP
2007
Springer
16 years 17 days ago
Platform-Independent Programming of Data-Intensive Applications Using UML
The shift of development effort onto the model level, as postulated by MDA, provides an opportunity for establishing a set of modelling constructs that is more intuitive and homoge...
Grzegorz Falda, Piotr Habela, Krzysztof Kaczmarski...
AH
2008
Springer
15 years 8 months ago
The Effectiveness of Personalized Movie Explanations: An Experiment Using Commercial Meta-data
Abstract. This paper studies the properties of a helpful and trustworthy explanation in a movie recommender system. It discuss the results of an experiment based on a natural langu...
Nava Tintarev, Judith Masthoff
EMSOFT
2004
Springer
15 years 10 months ago
A methodology for generating verified combinatorial circuits
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
Oleg Kiselyov, Kedar N. Swadi, Walid Taha
MFCS
2007
Springer
16 years 16 days ago
Traces of Term-Automatic Graphs
In formal language theory, many families of languages are defined using grammars or finite acceptors like pushdown automata and Turing machines. For instance, context-sensitive l...
Antoine Meyer
DBPL
1997
Springer
87views Database» more  DBPL 1997»
15 years 10 months ago
Incremental Recomputation of Recursive Queries with Nested Sets and Aggregate Functions
We examine the power of incremental evaluation systems that use an SQL-like language for maintaining recursively-de ned views. We show that recursive queries such as transitive clo...
Leonid Libkin, Limsoon Wong