Sciweavers

4276 search results - page 146 / 856
» Techniques for Empirical Validation
Sort
View
ICCAD
2003
IEEE
124views Hardware» more  ICCAD 2003»
16 years 3 months ago
Gradual Relaxation Techniques with Applications to Behavioral Synthesis
Heuristics are widely used for solving computational intractable synthesis problems. However, until now, there has been limited effort to systematically develop heuristics that ca...
Zhiru Zhang, Yiping Fan, Miodrag Potkonjak, Jason ...
CAIP
2007
Springer
152views Image Analysis» more  CAIP 2007»
16 years 20 days ago
Adaptable Model-Based Tracking Using Analysis-by-Synthesis Techniques
Abstract. In this paper we present a novel analysis-by-synthesis approach for real-time camera tracking in industrial scenarios. The camera pose estimation is based on the tracking...
Harald Wuest, Folker Wientapper, Didier Stricker
ESAS
2007
Springer
16 years 19 days ago
Detecting Node Compromise in Hybrid Wireless Sensor Networks Using Attestation Techniques
Abstract. Node compromise is a serious threat in wireless sensor networks. Particular in networks which are organized in clusters, nodes acting as cluster heads for many cluster no...
Christoph Krauß, Frederic Stumpf, Claudia M....
GECCO
2007
Springer
156views Optimization» more  GECCO 2007»
16 years 19 days ago
Techniques for highly multiobjective optimisation: some nondominated points are better than others
The research area of evolutionary multiobjective optimization (EMO) is reaching better understandings of the properties and capabilities of EMO algorithms, and accumulating much e...
David W. Corne, Joshua D. Knowles
KSEM
2007
Springer
16 years 18 days ago
Knowledge Engineering Technique for Cluster Development
After the concept of industry cluster was tangibly applied in many countries, SMEs trended to link to each other to maintain their competitiveness in the market. The major key succ...
Pradorn Sureephong, Nopasit Chakpitak, Yacine Ouzr...