2435 search results - page 172 / 487 » Intellexer Question Answering |
213
click to vote
APAL
2011
15 years 1 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...
165
click to vote
JOTA
2011
15 years 1 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...
289
click to vote
SIAMDM
2011
15 years 1 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...
222
click to vote
SEMWEB
2010
Springer
15 years 1 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...
196
click to vote
ENTCS
2011
15 years 27 days 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...