Sciweavers

3732 search results - page 457 / 747
» Ubiquitous Computing for the Public
Sort
View
DATE
2009
IEEE
127views Hardware» more  DATE 2009»
16 years 1 months ago
Sequential logic synthesis using symbolic bi-decomposition
This paper uses under-approximation of unreachable states of a design to derive incomplete specification of combinational logic. The resulting incompletely-specified functions are...
Victor N. Kravets, Alan Mishchenko
CAIP
2009
Springer
246views Image Analysis» more  CAIP 2009»
16 years 1 months ago
Human Age Estimation by Metric Learning for Regression Problems
Abstract. The estimation of human age from face images is an interesting problem in computer vision. We proposed a general distance metric learning scheme for regression problems, ...
Yangjing Long
EDOC
2008
IEEE
16 years 1 months ago
Augmenting the Zachman Enterprise Architecture Framework with a Systemic Conceptualization
The Zachman Framework offers a classification of the models created in an enterprise architecture project. These models form a holistic representation of the organization. Despite...
Alain Wegmann, Anders Kotsalainen, Lionel Matthey,...
IROS
2008
IEEE
135views Robotics» more  IROS 2008»
16 years 1 months ago
Interactive learning of visual topological navigation
— We present a topological navigation system that is able to visually recognize the different rooms of an apartment and guide a robot between them. Specifically tailored for sma...
David Filliat
AIMSA
2008
Springer
16 years 1 months ago
Solving the Course Timetabling Problem with a Hybrid Heuristic Algorithm
Abstract. The problem of curriculum-based course timetabling is studied in this work. In addition to formally defining the problem, we present a hybrid solution algorithm (Adaptiv...
Zhipeng Lü, Jin-Kao Hao