982 search results - page 4 / 197 » Quantitative Analysis of Grouping Processes |
QEST
2006
IEEE
14 years 1 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
BMCBI
2007
13 years 7 months ago
2007
Background: Urine from male Sprague-Dawley rats 25, 40, and 80 days old was analyzed by NMR and UPLC/MS. The effects of data normalization procedures on principal component analys...
CHI
2011
ACM
12 years 11 months ago
2011
ACM
Despite being an important channel for end-user assistance, few studies have directly investigated the interactions that occur in modern-day practice of software product support. ...
HASE
2008
IEEE
14 years 1 months ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
ICS
2010
Tsinghua U.
14 years 6 days ago
2010
Tsinghua U.
We explore the intersection between an emerging class of architectures and a prominent workload: GPGPUs (General-Purpose Graphics Processing Units) and regular expression matching...