10666 search results - page 1383 / 2134 » Quantum programming languages |
141
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
We study the boundedness problem for monadic least fixed points as a decision problem. While this problem is known to be undecidable in general and even for syntactically very res...
168
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we consider the classical Erd˝os-R´enyi model of random graphs Gn,p. We show that for p = p(n) ≤ n−3/4−δ , for any fixed δ > 0, the chromatic number χ...
130
Voted
UM
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we investigate the utility of providing users with the system’s rationale in a mixed-initiative system for GUI customization. An evaluation comparing a version of ...
155
click to vote
UM
2007
Springer
16 years 1 months ago
2007
Springer
Increasingly, online systems depend on user contributions such as posts, ratings, tags, and comments. Many of these systems wish to encourage broader participation or the contribut...
159
click to vote
UM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a study exploring the promise of developing computational systems to support the discovery and execution of opportunistic activities in mobile settings. We int...