Sciweavers

1901 search results - page 315 / 381
» Models and Scheduling Mechanisms for Global Computing Applic...
Sort
View
RAS
2006
110views more  RAS 2006»
15 years 1 months ago
A methodology for provably stable behaviour-based intelligent control
This paper presents a design methodology for a class of behaviour-based control systems, arguing its potential for application to safety critical systems. We propose a formal basi...
Christopher J. Harper, Alan F. T. Winfield
VLUDS
2010
138views Visualization» more  VLUDS 2010»
14 years 8 months ago
Finite Element Analysis for Linear Elastic Solids Based on Subdivision Schemes
Finite element methods are used in various areas ranging from mechanical engineering to computer graphics and bio-medical applications. In engineering, a critical point is the gap...
Daniel Burkhart, Bernd Hamann, Georg Umlauf
WWW
2008
ACM
16 years 2 months ago
Efficient multi-keyword search over p2p web
Current search mechanisms of DHT-based P2P systems can well handle a single keyword search problem. Other than single keyword search, multi-keyword search is quite popular and use...
Hanhua Chen, Hai Jin, Jiliang Wang, Lei Chen 0002,...
PCM
2004
Springer
224views Multimedia» more  PCM 2004»
15 years 6 months ago
Fast and Robust Short Video Clip Search for Copy Detection
Query by video clip (QVC) has attracted wide research interests in multimedia information retrieval. In general, QVC may include feature extraction, similaritymeasure,databaseorgan...
Junsong Yuan, Ling-Yu Duan, Qi Tian, Surendra Rang...
HPCA
2007
IEEE
16 years 1 months ago
Improving Branch Prediction and Predicated Execution in Out-of-Order Processors
If-conversion is a compiler technique that reduces the misprediction penalties caused by hard-to-predict branches, transforming control dependencies into data dependencies. Althou...
Eduardo Quiñones, Joan-Manuel Parcerisa, An...