Sciweavers

437 search results - page 60 / 88
» Automatic Generation of Implied Constraints
Sort
View
VL
1994
IEEE
159views Visual Languages» more  VL 1994»
14 years 19 days ago
Interaction in Really Graphical User Interfaces
Employing diagrams in the UI causes problems that don't exist in so called Graphical User Interfaces. We are implementing a tool for generating editors for a certain class of...
Gerhard Viehstaedt, Mark Minas
BIRTHDAY
2007
Springer
14 years 15 days ago
Automating Verification of Cooperation, Control, and Design in Traffic Applications
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
Werner Damm, Alfred Mikschl, Jens Oehlerking, Erns...
HUMO
2007
Springer
14 years 11 days ago
Articulated Object Registration Using Simulated Physical Force/Moment for 3D Human Motion Tracking
In this paper, we present a 3D registration algorithm based on simulated physical force/moment for articulated human motion tracking. Provided with sparsely reconstructed 3D human ...
Bingbing Ni, Stefan Winkler, Ashraf A. Kassim
AAAI
2000
13 years 10 months ago
Applying Learnable Evolution Model to Heat Exchanger Design
A new approach to evolutionary computation, called Learnable Evolution Model (LEM), has been applied to the problem of optimizing tube structures of heat exchangers. In contrast t...
Kenneth A. Kaufman, Ryszard S. Michalski
ATAL
2011
Springer
12 years 8 months ago
Learning action models for multi-agent planning
In multi-agent planning environments, action models for each agent must be given as input. However, creating such action models by hand is difficult and time-consuming, because i...
Hankz Hankui Zhuo, Hector Muñoz-Avila, Qian...