Sciweavers

5746 search results - page 1148 / 1150
» Visualizing Query Structure
Sort
View
EMSOFT
2011
Springer
12 years 6 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
IHI
2012
291views Healthcare» more  IHI 2012»
12 years 2 months ago
PANI: an interactive data-driven tool for target prioritization in signaling networks
Biological network analysis often aims at the target identification problem, which is to predict which molecule to inhibit (or activate) for a disease treatment to achieve optimu...
Huey-Eng Chua, Sourav S. Bhowmick, Lisa Tucker-Kel...
TEI
2012
ACM
258views Hardware» more  TEI 2012»
12 years 2 months ago
The HapticTouch toolkit: enabling exploration of haptic interactions
In the real world, touch based interaction relies on haptic feedback (e.g., grasping objects, feeling textures). Unfortunately, such feedback is absent in current tabletop systems...
David Ledo, Miguel A. Nacenta, Nicolai Marquardt, ...
VR
2012
IEEE
337views Virtual Reality» more  VR 2012»
12 years 2 months ago
VRMDS: an intuitive virtual environment for supporting the conceptual design of mechanisms
This paper presents Virtual Reality Mechanism Design Studio (VRMDS), an intuitive virtual environment for supporting the interactive design and simulation of mechanisms. The studio...
Juan Camilo Alvarez, Hai-Jun Su
CVPR
2012
IEEE
11 years 9 months ago
Center-Shift: An approach towards automatic robust mesh segmentation (ARMS)
In the area of 3D shape analysis, research in mesh segmentation has always been an important topic, as it is a fundamental low-level task which can be utilized in many application...
Mengtian Sun, Yi Fang, Karthik Ramani
« Prev « First page 1148 / 1150 Last » Next »