Sciweavers

896 search results - page 84 / 180
» Stepwise Refinement of Processes
Sort
View
119
Voted
ASM
2008
ASM
15 years 4 months ago
Using EventB to Create a Virtual Machine Instruction Set Architecture
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
Stephen Wright
119
Voted
AVI
2006
15 years 4 months ago
Implicit brushing and target snapping: data exploration and sense-making on large displays
During grouping tasks for data exploration and sense-making, the criteria are normally not well-defined. When users are bringing together data objects thought to be similar in som...
Xiaohua Sun, Patrick Chiu, Jeffrey Huang, Maribeth...
131
Voted
VVG
2003
205views Computer Vision» more  VVG 2003»
15 years 4 months ago
Digitisation to Presentation -  Building Virtual Museum Exhibitions
We describe an innovative system designed for museums to create, manage and present multimedia based representations of museum artefacts in virtual exhibitions both inside and out...
Manjula Patel, Martin White, Krzysztof Walczak, Pa...
109
Voted
BIOSYSTEMS
2008
83views more  BIOSYSTEMS 2008»
15 years 2 months ago
Hydrophobic condensation and modular assembly model of protein folding
Despite several decades of intense study, protein folding problem remains elusive. In this paper, we review current knowledge and the prevailing thinking in the field, and summari...
Tian-Yow Tsong, Chin-Kun Hu, Ming-Chya Wu
130
Voted
CGF
2010
132views more  CGF 2010»
15 years 2 months ago
Hybrid Booleans
In this paper we present a novel method to compute Boolean operations on polygonal meshes. Given a Boolean expression over an arbitrary number of input meshes we reliably and effi...
Darko Pavic, Marcel Campen, Leif Kobbelt