1141 search results - page 126 / 229 » Experiences and directions in pushpin computing |
173
click to vote
GG
2004
Springer
16 years 11 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
200
Voted
SPIN
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
181
click to vote
SC
2003
ACM
16 years 7 days ago
2003
ACM
Demand for programming environments to exploit clusters of symmetric multiprocessors (SMPs) is increasing. In this paper, we present a new programming environment, called ParADE, ...
177
Voted
ECCV
2010
Springer
16 years 23 hour ago
2010
Springer
Abstract. In this work the weighted minimal surface model traditionally used in multiview stereo is revisited. We propose to generalize the classical photoconsistency-weighted mini...
193
Voted
TMM
2011
15 years 1 months ago
2011
—Visual categorization is important to manage large collections of digital images and video, where textual metadata is often incomplete or simply unavailable. The bag-of-words mo...