Sciweavers

894 search results - page 44 / 179
» Universal Relations
Sort
View
98
Voted
JSYML
2008
100views more  JSYML 2008»
15 years 16 days 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
187
Voted
TARK
2009
Springer
15 years 7 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
87
Voted
ERSHOV
2001
Springer
15 years 5 months 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
109
Voted
FOSSACS
2009
Springer
15 years 7 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...
108
Voted
ICPR
2006
IEEE
16 years 1 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