Sciweavers

660 search results - page 36 / 132
» Performance Specifications and Metrics for Adaptive Real-Tim...
Sort
View
ENTCS
2006
136views more  ENTCS 2006»
13 years 7 months ago
Adaptive Application of SAT Solving Techniques
New heuristics and strategies have enabled major advancements in SAT solving in recent years. However, experimentation has shown that there is no winning solution that works in al...
Ohad Shacham, Karen Yorav
WSC
2007
13 years 10 months ago
Manufacturing process management using a flexible modeling and simulation approach
The focus of this paper is a manufacturing system placed in Calabria (Italy) which produces high pressure hydraulic hoses. The objective is to implement a simulator to be used bot...
Duilio Curcio, Francesco Longo, Giovanni Mirabelli
ICASSP
2008
IEEE
14 years 2 months ago
A no-reference perceptual blockiness metric
A novel no-reference blockiness metric that can automatically and perceptually quantify blocking artifacts of DCT coding is presented. The proposed metric is built upon the specif...
Hantao Liu, Ingrid Heynderickx
TSP
2008
77views more  TSP 2008»
13 years 7 months ago
Soft-Decision Metrics for Coded Orthogonal Signaling in Symmetric Alpha-Stable Noise
This paper derives new soft-decision metrics for coded orthogonal signaling in impulsive noise, more specifically symmetric -stable noise. For the case of a known channel amplitude...
Michael R. Souryal, Erik G. Larsson, Bojan Peric, ...
SAC
2008
ACM
13 years 7 months ago
Proposing metrics of difficulty of domain knowledge using usecase diagrams
In a system development, the knowledge of a target business is very important factor for the success of a development. The needed part of such knowledge is different for each stak...
Akira Osada, Daigo Ozawa, Naoyuki Kitazawa, Haruhi...