Sciweavers

837 search results - page 86 / 168
» Hard combinators
Sort
View
PRIS
2010
14 years 9 months ago
The Impact of Pre-processing on the Classification of MEDLINE Documents
The amount of information available in the MEDLINE database makes it very hard for a researcher to retrieve a reasonable amount of relevant documents using a simple query language ...
Carlos Adriano Gonçalves, Célia Talm...
WCET
2010
14 years 9 months ago
METAMOC: Modular Execution Time Analysis using Model Checking
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
Andreas E. Dalsgaard, Mads Chr. Olesen, Martin Tof...
GRAPHICSINTERFACE
2009
14 years 9 months ago
Heart rate control of exercise video games
Exercise video games combine entertainment and physical movement in an effort to encourage people to be more physically active. Multiplayer exercise games take advantage of the mo...
Tadeusz Stach, T. C. Nicholas Graham, Jeffrey Yim,...
ICONFERENCE
2011
14 years 6 months ago
Personalized location-based services
Location-Based Services (LBS) are based on a combination of the inherent location information about specific data, and/or the location information supplied by LBS clients, reques...
Yiming Liu, Erik Wilde
CEC
2010
IEEE
14 years 3 months ago
A hybrid genetic algorithm for rescue path planning in uncertain adversarial environment
— Efficient vehicle path planning in hostile environment to carry out rescue or tactical logistic missions remains very challenging. Most approaches reported so far relies on key...
Jean Berger, Khaled Jabeur, Abdeslem Boukhtouta, A...