Sciweavers

1693 search results - page 258 / 339
» Pattern-Recognition: a Foundational Approach
Sort
View
VIS
2007
IEEE
115views Visualization» more  VIS 2007»
16 years 5 months ago
Efficient Computation and Visualization of Coherent Structures in Fluid Flow Applications
Abstract--The recently introduced notion of Finite-Time Lyapunov Exponent to characterize Coherent Lagrangian Structures provides a powerful framework for the visualization and ana...
Christoph Garth, Florian Gerhardt, Xavier Tricoc...
170
Voted
ISBI
2004
IEEE
16 years 5 months ago
Automated Interpretation of Subcellular Location Patterns
Fluorescence microscopy is widely used to analyze the distribution of proteins within cells. As currently practiced, the assignment of a protein to a particular organelle is done ...
Robert F. Murphy
SAS
2009
Springer
172views Formal Methods» more  SAS 2009»
16 years 5 months ago
Type Analysis for JavaScript
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
Anders Møller, Peter Thiemann, Simon Holm J...
CHI
2008
ACM
16 years 4 months ago
Internalization, qualitative methods, and evaluation
Information Visualization (InfoVis) is at least in part defined by a process that occurs within the subjective internal experience of the users of visualization tools. Hence, user...
Sarah Faisal, Brock Craft, Paul A. Cairns, Ann Bla...
POPL
2008
ACM
16 years 4 months ago
Enhancing modular OO verification with separation logic
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, She...