Sciweavers

894 search results - page 44 / 179
» Universal Relations and
Sort
View
JSYML
2008
100views more  JSYML 2008»
13 years 8 months ago
Measurable chromatic numbers
We show that if add(null) = c, then the globally Baire and universally measurable chromatic numbers of the graph of any Borel function on a Polish space are equal and at most three...
Benjamin D. Miller
TARK
2009
Springer
14 years 2 months ago
A computational theory of awareness and decision making
We exhibit a new computational-based definition of awareness, informally that our level of unawareness of an object is the amount of time needed to generate that object within a ...
Nikhil R. Devanur, Lance Fortnow
ERSHOV
2001
Springer
14 years 15 days ago
Academic vs. Industrial Software Engineering: Closing the Gap
We argue that there is a gap between software engineering cultivated in the universities and industrial software development. We believe that it is possible to get academia and ind...
Andrey N. Terekhov, Len Erlikh
FOSSACS
2009
Springer
14 years 2 months ago
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
Lars Birkedal, Kristian Støvring, Jacob Tha...
ICPR
2006
IEEE
14 years 9 months ago
Robust Local Scoring Function for Text-Independent Speaker Verification
Traditionally, the Universal Background Model (UBM) is viewed as the background model of the entire acoustic feature space. We propose a novel interpretation of the UBM model, and...
Ming Liu, Thomas S. Huang, Zhengyou Zhang