5213 search results - page 418 / 1043 » Statistical entity-topic models |
215
click to vote
ICDCS
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—Wireless Sensor Networks (WSNs) are increasingly available for mission-critical applications such as emergency management and health care. To meet the stringent requirem...
195
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
225
click to vote
SIGSOFT
2007
ACM
16 years 7 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...
204
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Screen readers, the dominant assistive technology used by visually impaired people to access the Web, function by speaking out the content of the screen serially. Using screen rea...
212
click to vote
WSDM
2010
ACM
16 years 4 months ago
2010
ACM
Recent advances in click model have positioned it as an attractive method for representing user preferences in web search and online advertising. Yet, most of the existing works f...