Sciweavers

425 search results - page 35 / 85
» Requirements, specifications, and minimal refinement
Sort
View
ECRTS
1999
IEEE
14 years 1 days ago
Distributed real-time task monitoring in the safety-critical system Melody
Safety-critical systems typically operate in unpredictable environments. Requirements for safety and reliability are in conflict with those for real-time responsiveness. Due to un...
Horst F. Wedde, Jon A. Lind, Guido Seghert
SMA
1999
ACM
152views Solid Modeling» more  SMA 1999»
14 years 1 days ago
Fast volume-preserving free form deformation using multi-level optimization
We present an efficient algorithm for preserving the total volume of a solids undergoing free-form deformation using discrete level-of-detail representations. Given the boundary r...
Gentaro Hirota, Renee Maheshwari, Ming C. Lin
CNIS
2006
13 years 9 months ago
Towards effective packet classification
A variety of network security services, such as access control in firewalls and protocol analysis in intrusion detection systems, require the discrimination of packets based on th...
Yaxuan Qi, Jun Li
CORR
2010
Springer
104views Education» more  CORR 2010»
13 years 7 months ago
Empirical learning aided by weak domain knowledge in the form of feature importance
Standard hybrid learners that use domain knowledge require stronger knowledge that is hard and expensive to acquire. However, weaker domain knowledge can benefit from prior knowle...
Ridwan Al Iqbal
JDCTA
2008
117views more  JDCTA 2008»
13 years 7 months ago
Efficiency Enhancement of Neural Network with Phase Only Correlation
The research work is carried out to enhance the recognition accuracy of neural network with Phase Only Correlation (POC) and reduce the time required for POC by refining its input...
Usman Qayyum