Sciweavers

4327 search results - page 265 / 866
» Web presentation system using RST events
Sort
View
GECCO
2009
Springer
193views Optimization» more  GECCO 2009»
15 years 11 months ago
Optimization of dynamic memory managers for embedded systems using grammatical evolution
New portable consumer embedded devices must execute multimedia applications (e.g., 3D games, video players and signal processing software, etc.) that demand extensive memory acces...
José L. Risco-Martín, David Atienza,...
SDL
2001
73views Hardware» more  SDL 2001»
15 years 8 months ago
HyperMSCs with Connectors for Advanced Visual System Modelling and Testing
Experiences with the use of the MSC language for complex system specifications have shown that certain extensions are necessary in order to arrive at sufficiently transparent and m...
Jens Grabowski, Peter Graubmann, Ekkart Rudolph
CORR
2010
Springer
84views Education» more  CORR 2010»
15 years 4 months ago
Rewriting and Well-Definedness within a Proof System
Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised p...
Issam Maamria, Michael Butler
PDPTA
2003
15 years 8 months ago
Incorporating an XML Matching Engine in Distributed Brokering Systems
As systems such as peer-to-peer, Web Services, and Grid systems proliferate the Internet there have also been a significant increase in the number of devices that are networked to...
Shrideep Pallickara, Geoffrey Fox, Marlon E. Pierc...
ICIAR
2004
Springer
15 years 12 months ago
Face Class Modeling Using Mixture of SVMs
We 1 present a method for face detection which uses a new SVM structure trained in an expert manner in the eigenface space. This robust method has been introduced as a post process...
Julien Meynet, Vlad Popovici, Jean-Philippe Thiran