5109 search results - page 590 / 1022 » On Learning Limiting Programs |
174
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Over the last years the telecommunications industry has shifted from technology driven and incumbent operators to business driven service providers. There is a need for mature, c...
165
click to vote
HCI
2009
15 years 4 months ago
2009
Abstract. This paper discusses about the different user-interfaces of mobile development and modeling environments in order to extract important details in which the user-interface...
251
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. BAP is a publicly available infrastructure for performing program verification and analysis tasks on binary (i.e., executable) code. In this paper, we describe BAP as we...
203
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Developing countries face significant challenges in network access, making even simple network tasks unpleasant. Many standard techniques—caching and predictive prefetching— ...
364
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Markov random field (MRF, CRF) models are popular in
computer vision. However, in order to be computationally
tractable they are limited to incorporate only local interactions
a...