Sciweavers

4059 search results - page 805 / 812
» Interactive visual dialog
Sort
View
CORR
2010
Springer
176views Education» more  CORR 2010»
13 years 7 months ago
Bus Protocols: MSC-Based Specifications and Translation into Program of Verification Tool for Formal Verification
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
Kamrul Hasan Talukder
BMCBI
2006
118views more  BMCBI 2006»
13 years 7 months ago
Djinn Lite: a tool for customised gene transcript modelling, annotation-data enrichment and exploration
Background: There is an ever increasing rate of data made available on genetic variation, transcriptomes and proteomes. Similarly, a growing variety of bioinformatic programs are ...
Erdahl T. Teber, Edward Crawford, Kent B. Bolton, ...
BMCBI
2006
109views more  BMCBI 2006»
13 years 7 months ago
iHOPerator: user-scripting a personalized bioinformatics Web, starting with the iHOP website
Background: User-scripts are programs stored in Web browsers that can manipulate the content of websites prior to display in the browser. They provide a novel mechanism by which u...
Benjamin M. Good, Edward A. Kawas, Byron Yu-Lin Ku...
CGF
2007
112views more  CGF 2007»
13 years 7 months ago
Shape-aware Volume Illustration
We introduce a novel volume illustration technique for regularly sampled volume datasets. The fundamental difference between previous volume illustration algorithms and ours is th...
Wei Chen, Aidong Lu, David S. Ebert
CSCW
2007
ACM
13 years 7 months ago
Doing Virtually Nothing: Awareness and Accountability in Massively Multiplayer Online Worlds
To date the most popular and sophisticated types of virtual worlds can be found in the area of video gaming, especially in the genre of Massively Multiplayer Online Role Playing Ga...
Robert J. Moore, Nicolas Ducheneaut, Eric Nickell