6881 search results - page 995 / 1377 » Motivation |
198
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
Smartphones, tablets and other mobile platforms typically accommodate bulk data storage with low-cost, FAT-formatted Secure Digital cards. When one uses a mobile device to run a f...
208
click to vote
VSTTE
2012
Springer
14 years 2 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
362
click to vote
JMLR
2012
13 years 9 months ago
2012
This paper considers additive factorial hidden Markov models, an extension to HMMs where the state factors into multiple independent chains, and the output is an additive function...
295
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—After decades of effort working on database performance, the quality and the usability of database systems have received more attention in recent years. In particular, t...
183
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—This paper considers a novel distributed system for collaborative location-based information generation and sharing which become increasingly popular due to the explosiv...