1496 search results - page 11 / 300 » Definability of Initial Segments |
ICSOFT
2008
13 years 9 months ago
2008
Abstract. Since the Internet has become a commodity in both wired and wireless environments, new applications and paradigms have emerged to explore this highly distributed and wide...
VIP
2000
13 years 9 months ago
2000
Although codified knowledge and its capture is commonplace, tacit knowledge has up until recent years proved elusive in its inclusion within the organisation's knowledge base...
ICIP
2009
IEEE
13 years 5 months ago
2009
IEEE
We propose a method for segmentation of frontal human portraits from arbitrary unknown backgrounds. Semantic information is used to project the face into a normalized reference fr...
APAL
2008
13 years 7 months ago
2008
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.
APAL
2004
13 years 7 months ago
2004
We investigate the initial segment complexity of random reals. Let K( ) denote pre