7430 search results - page 24 / 1486 » Programming Applications in CIFF |
147
click to vote
ERSHOV
2009
Springer
15 years 7 days ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
117
click to vote
JMLR
2012
13 years 4 months ago
2012
We develop a new tool for data-dependent analysis of the exploration-exploitation trade-off in learning under limited feedback. Our tool is based on two main ingredients. The fi...
151
Voted
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
Developing and debugging parallel programs particularly for distributed memory architectures is still a difficult task. The most popular approach to developing parallel programs f...
114
click to vote
SIGSOFT
2010
ACM
15 years 9 days ago
2010
ACM
This paper provides an overview of important software engineering research issues related to the development of applications that run on mobile devices. Among the topics are devel...
258
Voted
JMLR
2012
13 years 4 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...