Sciweavers

869 search results - page 73 / 174
» Effective Use of Place Information for Event Tracking
Sort
View
ASPLOS
2010
ACM
15 years 9 months ago
Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring
Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...
Michelle L. Goodstein, Evangelos Vlachos, Shimin C...
BMCBI
2006
91views more  BMCBI 2006»
15 years 6 months ago
Cheminformatics methods for novel nanopore analysis of HIV DNA termini
Background: Channel current feature extraction methods, using Hidden Markov Models (HMMs) have been designed for tracking individual-molecule conformational changes. This informat...
Stephen Winters-Hilt, Matthew Landry, Mark Akeson,...
3DOR
2010
15 years 1 months ago
SHREC'10 Track: Non-rigid 3D Shape Retrieval
Non-rigid shape matching is one of the most challenging fields in content-based 3D object retrieval. The aim of the SHREC 2010 - Shape Retrieval Contest of Non-rigid 3D Models is ...
Zhouhui Lian, Afzal Godil, Thomas Fabry, Takahiko ...
CHI
1998
ACM
15 years 10 months ago
Triangles: Tangible Interface for Manipulation and Exploration of Digital Information Topography
This paper presents a system for interacting with digital information, called Triangles. The Triangles system is a physical/digital construction kit, which allows users to use two...
Matthew G. Gorbet, Maggie Orth, Hiroshi Ishii
GG
2010
Springer
15 years 7 months ago
On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
Paolo Baldan, Alessandro Bruni, Andrea Corradini, ...