10666 search results - page 1610 / 2134 » Quantum programming languages |
168
click to vote
ADAEUROPE
2003
Springer
16 years 4 days ago
2003
Springer
Abstract. We study two textbooks for teaching undergraduate softineering, both focusing on software design and data abstraction in particular. We describe the differences in their...
179
click to vote
BIRTHDAY
2003
Springer
16 years 4 days ago
2003
Springer
We provide a translation from CTL to Datalog¬ Succ. The translation has the following advantages: a) It is natural. b) It provides intuition to the expressive power of CTL and it...
146
click to vote
CP
2003
Springer
16 years 4 days ago
2003
Springer
We discuss the problem of scheduling tasks that consume uncertain amounts of a resource with known capacity and where the tasks have uncertain utility. In these circumstances, we w...
138
click to vote
CP
2003
Springer
16 years 4 days ago
2003
Springer
How do we identify inconsistent CSPs quickly? This paper presents relaxation as one possible method; showing how we can generate relaxed CSPs which are easier to prove inconsistent...
159
click to vote
CP
2003
Springer
16 years 4 days ago
2003
Springer
This paper presents two methods for improving the performance of the Distributed Breakout Algorithm using the notion of interchangeability. In particular, we use neighborhood part...