Sciweavers

1387 search results - page 131 / 278
» Next generation CiteSeer
Sort
View
AAAI
1997
15 years 8 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
207
Voted
INTERACT
1997
15 years 8 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...
171
Voted
WCE
2007
15 years 8 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 8 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 7 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