Sciweavers

31686 search results - page 288 / 6338
» Resource typing in Guru
Sort
View
ICPR
2010
IEEE
15 years 3 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
TARK
2005
Springer
15 years 11 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
FOCS
2002
IEEE
15 years 10 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...
CSL
2000
Springer
15 years 10 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
137
Voted
HICSS
2007
IEEE
84views Biometrics» more  HICSS 2007»
15 years 9 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.