Sciweavers

31686 search results - page 288 / 6338
» Resource typing in Guru
Sort
View
127
Voted
ICPR
2010
IEEE
14 years 10 months ago
Visual Recognition of Types of Structural Corridor Landmarks Using Vanishing Points Detection and Hidden Markov Models
In this paper, to provide a robot with information relative to structure of its environment, we propose a method to recognize types of structural corridor landmarks such as T-junct...
Youngbin Park, Sung Su Kim, Il Hong Suh
90
Voted
TARK
2005
Springer
15 years 6 months ago
Harsanyi type spaces with knowledge operators
In this paper, we provide a notion of structure preserving maps (i.e. knowledge-belief morphisms) between knowledge-belief spaces. Then we show that - under the condition that the...
Martin Meier
78
Voted
FOCS
2002
IEEE
15 years 5 months ago
Market Equilibrium via a Primal-Dual-Type Algorithm
We provide the first polynomial time algorithm for the linear version of a market equilibrium model defined by Irving Fisher in 1891, thereby partially answering an open questio...
Nikhil R. Devanur, Christos H. Papadimitriou, Amin...
81
Voted
CSL
2000
Springer
15 years 5 months ago
Continuous Functionals of Dependent Types and Equilogical Spaces
We show that dependent sums and dependent products of continuous parametrizations on domains with dense, codense, and natural totalities agree with dependent sums and dependent pro...
Andrej Bauer, Lars Birkedal
82
Voted
HICSS
2007
IEEE
84views Biometrics» more  HICSS 2007»
15 years 4 months ago
Distance Education: Some Differences in Course Type
act Transcript Notation for Analyzing Interactional Construction of Meaning in Online Learning Daniel Suthers, Nathan Dwyer, Ravi Vatrapu, and Richard Medina CL 3 Saturday 1:00
Chuck Beck, Wm. Benjamin Martz Jr.