Sciweavers

263 search results - page 47 / 53
» Optimization of interactive visual-similarity-based search
Sort
View
ICSE
2001
IEEE-ACM
13 years 12 months ago
JMOCHA: A Model Checking Tool that Exploits Design Structure
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A....
WCE
2007
13 years 8 months ago
A Patch-by-Patch Shape Matching Procedure for Rigid Body Docking
Abstract—Docking simulates molecular interactions. Protein - protein docking, owing to the sizes of molecules, is a very challenging problem. As the number of degrees of freedom ...
Vipin K. Tripathi
CGF
2008
103views more  CGF 2008»
13 years 7 months ago
An Example-based Procedural System for Element Arrangement
We present a method for synthesizing two dimensional (2D) element arrangements from an example. The main idea is to combine texture synthesis techniques based-on a local neighborh...
Takashi Ijiri, Radomír Mech, Takeo Igarashi...
VISUALIZATION
2000
IEEE
13 years 12 months ago
Navigating high-dimensional spaces to support design steering
Throughout the design cycle, visualization, whether a sketch scribbled on the back of a spare piece of paper or a fully detailed drawing, has been the mainstay of design: we need ...
Helen Wright, Ken Brodlie, Tim David
HCI
2007
13 years 9 months ago
Human Communication Based on Icons in Crisis Environments
In recent years, we have developed an icon-based communication interface to represent concepts and ideas. Users can create messages to communicate with others using a spatial arran...
Siska Fitrianie, Dragos Datcu, Léon J. M. R...