Results 71 to 80 of about 1,048 (100)

Model Checking and Transitive-Closure Logic

International Conference on Computer Aided Verification, 1997
N. Immerman, Moshe Y. Vardi
semanticscholar   +1 more source

Bis(dicyclo-hexyl-phenyl-phosphine)iodido-silver(I) pyridine monosolvate. [PDF]

Acta Crystallogr Sect E Struct Rep Online, 2009
Omondi B, Meijboom R.
europepmc   +1 more source

A Note on Tape-Bounded Complexity Classes and Linear Context-Free languages

JACM, 1975
I. H. Sudborough
semanticscholar   +1 more source

Visual Analytic Tools and Techniques in Population Health and Health Services Research: Scoping Review.

J Med Internet Res, 2020
Chishtie JA, Marchand JS, Turcotte LA, Bielska IA, Babineau J, Cepoiu-Martin M, Irvine M, Munce S, Abudiab S, Bjelica M, Hossain S, Imran M, Jeji T, Jaglal S.   +13 more
europepmc   +1 more source

In Homage of Change [PDF]

, 2012
boredomresearch,, Isley, Vicky, Smith, P.   +2 more
core  

nSpace and GeoTime: A VAST 2006 Case Study

IEEE Computer Graphics and Applications, 2007
The nSpace and GeoTime visual analytic tools enable investigation and understanding of complex, ambiguous situations. nSpace is a system of systems supporting the whole analytic workflow. GeoTime provides insight into events and behaviors in time and space.
D. Schroh, D. Jonker, L. Chien, P. Proulx, R. Harper, William Wright, D.T. Kapler   +6 more
semanticscholar   +5 more sources

Avian Flu Case Study with nSpace and GeoTime

2006 IEEE Symposium On Visual Analytics And Technology, 2006
GeoTime and nSpace are new analysis tools that provide innovative visual analytic capabilities. This paper uses an epidemiology analysis scenario to illustrate and discuss these new investigative methods and techniques. In addition, this case study is an exploration and demonstration of the analytical synergy achieved by combining GeoTime's geo ...
Pascale Proulx, David Schroh, Robert Harper, William Wright, Adam Bodnar, Sumeet Tandon   +5 more
semanticscholar   +4 more sources

Something's "Fishy" at Global Ways and Gill Breeders - Analysis with nSpace and GeoTime

2007 IEEE Symposium on Visual Analytics Science and Technology, 2007
GeoTime and nSpace are two interactive visual analytics tools that support the process of analyzing massive and complex datasets. The two tools were used to examine and interpret the 2007 VAST contest dataset. This poster paper describes how the capabilities of the tools were used to facilitate and expedite every stage of an analyst workflow.
W. Wright, A. Tat, L. Chien
semanticscholar   +4 more sources

VAST 2007 Contest - Analysis with nSpace and GeoTime

2007 IEEE Symposium on Visual Analytics Science and Technology, 2007
GeoTime and nSpace are two interactive visual analytics tools that support the process of analyzing massive and complex datasets. The two tools were used to examine and interpret the 2007 VAST contest dataset. This paper describes how the capabilities of the tools were used to facilitate and expedite every stage of the analysis.
P. Enns, W. Wright, W. Kuan, A. Tat, T. Kapler, L. Chien   +5 more
semanticscholar   +4 more sources