Sciweavers

1631 search results - page 204 / 327
» Uniform Distributed Synthesis
Sort
View
126
Voted
CONCUR
2010
Springer
15 years 3 months ago
On the Compositionality of Round Abstraction
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...
Dan R. Ghica, Mohamed N. Menaa
139
Voted
CGF
2008
105views more  CGF 2008»
15 years 3 months ago
Curvature-Domain Shape Processing
We propose a framework for 3D geometry processing that provides direct access to surface curvature to facilitate advanced shape editing, filtering, and synthesis algorithms. The c...
Michael Eigensatz, Robert W. Sumner, Mark Pauly
196
Voted
CVPR
2012
IEEE
13 years 5 months ago
Identigram/watermark removal using cross-channel correlation
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...
Jaesik Park, Yu-Wing Tai, In-So Kweon
139
Voted
ICST
2009
IEEE
15 years 10 months ago
Optimizing Probabilities of Real-Time Test Case Execution
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
Nicolás Wolovick, Pedro R. D'Argenio, Hongy...
134
Voted
CNSR
2005
IEEE
105views Communications» more  CNSR 2005»
15 years 9 months ago
A New Analytic Approach to Evaluation of Packet Error Rate in Wireless Networks
Bit Error Rate (BER) and Packet Error Rate (PER) are important Quality of Service Parameters for Wireless network. Most of researches in QoS have been devoted to the analysis of B...
Ramin Khalili, Kavé Salamatian