10666 search results - page 1605 / 2134 » Quantum programming languages |
152
click to vote
UM
2005
Springer
16 years 12 days ago
2005
Springer
This paper describes the process by which we constructed a user model for ERST - an External Representation Selection Tutor - which recommends external representations (ERs) for pa...
197
click to vote
UM
2005
Springer
16 years 12 days ago
2005
Springer
This research aims at reconciling web personalization with privacy constraints imposed by legal restrictions and by users’ privacy preferences. We propose a software product line...
167
click to vote
ECLIPSE
2004
ACM
16 years 10 days ago
2004
ACM
Traits are a language technology that complements inheritance as a means for code reuse and class structuring. Traits encapsulate collections of methods so that they can be used a...
184
click to vote
CC
2004
Springer
16 years 9 days ago
2004
Springer
We present an algorithm for counting the number of integer solutions to selected free variables of a Presburger formula. We represent the Presburger formula as a deterministic fin...
146
click to vote
CP
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. We introduce a new approach for focusing constraint reasoning using so-called streamlining constraints. Such constraints partition the solution space to drive the search ...