2435 search results - page 172 / 487 » Intellexer Question Answering |
171
Voted
APAL
2011
14 years 11 months ago
2011
We study ideals in the computably enumerable Turing degrees, and their upper bounds. Every proper Σ0 4 ideal in the c.e. Turing degrees has an incomplete upper bound. It follows t...
136
click to vote
JOTA
2011
14 years 11 months ago
2011
In this paper we consider the linear symmetric cone programming (SCP). At a KarushKuhn-Tucker (KKT) point of SCP, we present the important equivalent conditions for the nonsingula...
234
click to vote
SIAMDM
2011
14 years 11 months ago
2011
Consider a closed curve in the plane that does not intersect itself; by the Jordan-Schoenflies Theorem, it bounds a distorted disk. Now consider a closed curve that intersects its...
184
click to vote
SEMWEB
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The increased availability and robustness of sensors, the wide-spread use of the internet as a communication environment and the intensified adoption of semantic technolo...
158
click to vote
ENTCS
2011
14 years 10 months ago
2011
This paper presents a game semantics for a simply-typed λ-calculus with qbits constants and associated quantum operations. The resulting language is expressive enough to encode a...