140 search results - page 8 / 28 » Object-oriented interactive mechanism design and analysis |
IVS
2008
13 years 7 months ago
2008
Information visualization leverages the human visual system to support the process of sensemaking, in which information is collected, organized, and analyzed to generate knowledge...
ICSE
1998
IEEE-ACM
13 years 12 months ago
1998
IEEE-ACM
We describe the design and implementation of system architecture to support object introspection in C++. In this system, information is collected by parsing class declarations, an...
INFOVIS
2005
IEEE
14 years 1 months ago
2005
IEEE
The NameVoyager, a web-based visualization of historical trends in baby naming, has proven remarkably popular. This paper discusses the display techniques used for smooth visual e...
JCB
2007
13 years 7 months ago
2007
Analysis of biopolymer sequences and structures generally adopts one of two approaches: use of detailed biophysical theoretical models of the system with experimentally-determined...
GI
2001
Springer
14 years 3 days ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...