Sciweavers

7554 search results - page 1116 / 1511
» Process Diagnostics: A Method Based on Process Mining
Sort
View
EUROGRAPHICS
2010
Eurographics
16 years 2 months ago
Practical quad mesh simplification
n this paper we present an innovative approach to incremental quad mesh simplification, i.e. the task of producing a low complexity quad mesh starting from a high complexity one. T...
Marco Tarini, Nico Pietroni, Paolo Cignoni, Daniel...
AVSS
2009
IEEE
16 years 1 months ago
Clustered Synopsis of Surveillance Video
—Millions of surveillance cameras record video around the clock, producing huge video archives. Even when a video archive is known to include critical activities, finding them i...
Yael Pritch, Sarit Ratovitch, Avishai Hendel, Shmu...
ICDS
2009
IEEE
16 years 1 months ago
Anticipating the Digital University
The University of the Digital Society is based on interactions that facilitate learning in a new pragmatic context. Catalysts involved in the learning process replace the traditio...
Mihai Nadin
DAC
2009
ACM
16 years 1 months ago
Beyond verification: leveraging formal for debugging
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
Rajeev K. Ranjan, Claudionor Coelho, Sebastian Ska...
SAC
2009
ACM
16 years 1 months ago
A gradient oriented recombination scheme for evolution strategies
This paper proposes a novel recombination scheme for evolutionary algorithms, which can guide the new population generation towards the maximum increase of the objective function....
Haifeng Chen, Guofei Jiang
« Prev « First page 1116 / 1511 Last » Next »