Sciweavers

1387 search results - page 131 / 278
» Next generation CiteSeer
Sort
View
AAAI
1997
15 years 5 months ago
Variable-Selection Heuristics in Local Search for SAT
One of the important components of a local search strategy for satisfiability testing is the variable selection heuristic, which determines the next variable to be flipped. In a...
Alex S. Fukunaga
INTERACT
1997
15 years 5 months ago
BUILD-IT: a computer vision-based interaction technique of a planning tool for construction and design
It is time to go beyond the established approaches in human-computer interaction. With the Augmented Reality (AR) design strategy humans are able to behave as much as possible in a...
Matthias Rauterberg, Martin Bichsel, Ulf Leonhardt...
WCE
2007
15 years 5 months ago
Prioritizing Quality Specifications of Multi-agent Systems
— Agents are being recommended as a next generation model for revising and restructuring the complex distributed applications. So the task of engineering quality for agent system...
Punam Bedi, Vibha Gaur
ICANN
2010
Springer
15 years 5 months ago
Classification Based on Multiple-Resolution Data View
Abstract. We examine efficacy of a classifier based on average of kernel density estimators; each estimator corresponds to a different data "resolution". Parameters of th...
Mateusz Kobos, Jacek Mandziuk
CDC
2008
IEEE
109views Control Systems» more  CDC 2008»
15 years 4 months ago
Topological geometry and control for distributed port-Hamiltonian systems with non-integrable structures
Abstract-- This paper discusses topological geometrical aspects and a control strategy for a distributed port-Hamiltonian system with a non-integrable structure called a distribute...
Gou Nishida, Bernhard Maschke, Masaki Yamakita