Sciweavers

8600 search results - page 87 / 1720
» Measuring with Timed Patterns
Sort
View
ISBI
2006
IEEE
15 years 10 months ago
Application of temporal texture features to automated analysis of protein subcellular locations in time series fluorescence micr
Protein subcellular locations, as an important property of proteins, are commonly learned using fluorescence microscopy. Previous work by our group has shown that automated analys...
Yanhua Hu, Jesus Carmona, Robert F. Murphy
TLDI
2009
ACM
140views Formal Methods» more  TLDI 2009»
15 years 6 months ago
Design patterns in separation logic
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
Neelakantan R. Krishnaswami, Jonathan Aldrich, Lar...
ECTEL
2010
Springer
14 years 8 months ago
Who Students Interact With? A Social Network Analysis Perspective on the Use of Twitter in Language Learning
Abstract. This paper reports student interaction patterns and self-reported results of using Twitter microblogging environment. The study employs longitudinal probabilistic social ...
Carsten Ullrich, Kerstin Borau, Karen Stepanyan
ICIP
2010
IEEE
14 years 7 months ago
Spiral FFT: An efficient method for 3-D FFTS on spiral MRI contours
The Fast Fourier Transform (FFT) allows the Discrete Time Fourier Transform (DTFT) to be efficiently sampled on a uniform grid in frequency. In many applications, including Magnet...
Christopher K. Turnes, Justin K. Romberg
AICCSA
2008
IEEE
216views Hardware» more  AICCSA 2008»
14 years 10 months ago
Mining fault tolerant frequent patterns using pattern growth approach
Mining fault tolerant (FT) frequent patterns from transactional datasets are very complex than mining all frequent patterns (itemsets), in terms of both search space exploration a...
Shariq Bashir, Zahid Halim, Abdul Rauf Baig