Sciweavers

3104 search results - page 556 / 621
» Using quantitative analysis to implement autonomic IT system...
Sort
View
118
Voted
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
15 years 9 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
128
Voted
IEEEPACT
2006
IEEE
15 years 9 months ago
Whole-program optimization of global variable layout
On machines with high-performance processors, the memory system continues to be a performance bottleneck. Compilers insert prefetch operations and reorder data accesses to improve...
Nathaniel McIntosh, Sandya Mannarswamy, Robert Hun...
105
Voted
CIVR
2005
Springer
15 years 9 months ago
Person Spotting: Video Shot Retrieval for Face Sets
Matching people based on their imaged face is hard because of the well known problems of illumination, pose, size and expression variation. Indeed these variations can exceed those...
Josef Sivic, Mark Everingham, Andrew Zisserman
109
Voted
PKDD
2005
Springer
136views Data Mining» more  PKDD 2005»
15 years 9 months ago
Weka4WS: A WSRF-Enabled Weka Toolkit for Distributed Data Mining on Grids
This paper presents Weka4WS, a framework that extends the Weka toolkit for supporting distributed data mining on Grid environments. Weka4WS adopts the emerging Web Services Resourc...
Domenico Talia, Paolo Trunfio, Oreste Verta
117
Voted
CSCW
2004
ACM
15 years 9 months ago
Instant messages: a framework for reading between the lines
A framework is described for analyzing keystroke level data from instant messages (IM). This is unlike other analyses of IM which employ server-based logs of messages. This framew...
Jeffrey D. Campbell