12052 search results - page 539 / 2411 » computing 2010 |
185
click to vote
CVPR
2010
IEEE
16 years 20 days ago
2010
IEEE
In this paper, we show how to generate a sharp panorama from a set of motion-blurred video frames. Our technique is based on joint global motion estimation and multi-frame deblurr...
204
click to vote
COLING
2010
15 years 2 months ago
2010
In this paper, we describe a novel approach to computational modeling and understanding of social and cultural phenomena in multi-party dialogues. We developed a two-tier approach...
180
click to vote
TCS
2010
15 years 1 months ago
2010
We describe a solution to the SAT problem via non-confluent P systems with active membranes, without using membrane division rules. Furthermore, we provide an algorithm for simula...
179
click to vote
ENTCS
2006
15 years 7 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
196
Voted
CCR
2010
15 years 4 months ago
2010
This paper presents iNFAnt, a parallel engine for regular expression pattern matching. In contrast with traditional approaches, iNFAnt adopts non-deterministic automata, allowing ...