1220 search results - page 171 / 244 » Probabilistic models for pattern statistics |
142
click to vote
HPCA
2009
IEEE
16 years 4 months ago
2009
IEEE
Decreasing hardware reliability is expected to impede the exploitation of increasing integration projected by Moore's Law. There is much ongoing research on efficient fault t...
151
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
126
Voted
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Sociological models of human behavior can explain population-level phenomena within social systems; computer modeling can simulate a wide variety of scenarios and allow one to p...
145
Voted
WSDM
2012
ACM
13 years 11 months ago
2012
ACM
This paper presents a novel opinion mining research problem, which is called Contrastive Opinion Modeling (COM). Given any query topic and a set of text collections from multiple ...
144
Voted
RTAS
2006
IEEE
15 years 9 months ago
2006
IEEE
A notable features of many proposed Wireless Sensor Networks (WSNs) deployments is their scale: hundreds to thousands of nodes linked together. In such systems, modeling the state...