Sciweavers

11063 search results - page 231 / 2213
» On the existence of universal models
Sort
View

Publication
335views
13 years 9 months ago
Person Re-Identification: What Features are Important?
State-of-the-art person re-identi cation methods seek robust person matching through combining various feature types. Often, these features are implicitly assigned with a single ve...
Chunxiao Liu, Shaogang Gong, Chen Change Loy, Xing...

Lecture Notes
2770views
17 years 3 months ago
Lectures on Medical Image Analysis
Easy and neat set of lecture notes in Medical Image Analysis taught at West Virginia University by Prof. Tim McGraw. It covers several famous computer vision techniques such as act...
Tim McGraw
WOLLIC
2009
Springer
16 years 1 months ago
Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus
We give a simple intuitionistic completeness proof of Kripke semantics with constant domain for intuitionistic logic with implication and universal quantification. We use a cut-fr...
Hugo Herbelin, Gyesik Lee
ICARCV
2008
IEEE
200views Robotics» more  ICARCV 2008»
16 years 1 months ago
An active ball handling mechanism for RoboCup
—This paper describes a new active ball handling method for the RoboCup mid-size league as used by team Tech United at Eindhoven University of Technology. A theoretical model is ...
Jeroen de Best, René van de Molengraft
GRC
2007
IEEE
16 years 28 days ago
Structured Writing with Granular Computing Strategies
— Granular computing unifies structured thinking, structured problem solving and structured information processing. In order to see the flexibility and universal applicability ...
Yiyu Yao