Sciweavers

1621 search results - page 156 / 325
» Detecting Experiences from Weblogs
Sort
View
CAV
2004
Springer
108views Hardware» more  CAV 2004»
14 years 2 days ago
Functional Dependency for Verification Reduction
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
Jie-Hong Roland Jiang, Robert K. Brayton
WAIM
2010
Springer
13 years 6 months ago
An Efficient Approach for Mining Segment-Wise Intervention Rules in Time-Series Streams
Huge time-series stream data are collected every day from many areas, and their trends may be impacted by outside events, hence biased from its normal behavior. This phenomenon is ...
Yue Wang, Jie Zuo, Ning Yang, Lei Duan, Hong-Jun L...
CHI
2007
ACM
14 years 8 months ago
Matching attentional draw with utility in interruption
This research examines a design guideline that aims to increase the positive perception of interruptions. The guideline advocates matching the amount of attention attracted by an ...
Jennifer Gluck, Andrea Bunt, Joanna McGrenere
SIGCOMM
2010
ACM
13 years 8 months ago
Crowdsourcing service-level network event monitoring
The user experience for networked applications is becoming a key benchmark for customers and network providers. Perceived user experience is largely determined by the frequency, d...
David R. Choffnes, Fabián E. Bustamante, Zi...
BMCBI
2008
158views more  BMCBI 2008»
13 years 8 months ago
LC-MSsim - a simulation software for liquid chromatography mass spectrometry data
Background: Mass Spectrometry coupled to Liquid Chromatography (LC-MS) is commonly used to analyze the protein content of biological samples in large scale studies. The data resul...
Ole Schulz-Trieglaff, Nico Pfeifer, Clemens Gr&oum...