936 search results - page 110 / 188 » The Synthesis Problem of Netcharts |
127
Voted
JFR
2010
14 years 10 months ago
2010
This paper presents a solution to the problem of unsupervised classification of dynamic obstacles in urban environments. A track-based model is introduced for the integration of 2...
119
Voted
TIT
2010
14 years 10 months ago
2010
Abstract--Glass models are frequently used to model gene regulatory networks. A distinct feature of the Glass model is that its dynamics can be formalized as paths through multi-di...
141
Voted
CAV
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
143
Voted
MOBISYS
2011
ACM
14 years 6 months ago
2011
ACM
Forming secure associations between wireless devices that do not share a prior trust relationship is an important problem. This paper presents ProxiMate, a system that allows wire...
196
Voted
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
We introduce a method to repair an image which has been stamped by an identigram or a watermark. Our method is based on the cross-channel correlation which assures the co-occurren...