10870 search results - page 1762 / 2174 » Model Checking Programs |
194
Voted
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
177
click to vote
CP
2007
Springer
16 years 1 months ago
2007
Springer
It has been widely observed that there is no “dominant” SAT solver; instead, different solvers perform best on different instances. Rather than following the traditional appr...
167
click to vote
HUC
2007
Springer
16 years 1 months ago
2007
Springer
Weight training, in addition to aerobic exercises, is an important component of a balanced exercise program. However, mechanisms for tracking free weight exercises have not yet bee...
151
Voted
SGAI
2007
Springer
16 years 29 days ago
2007
Springer
Computer scientists are often faced with the challenge of having to model the world and its associated uncertainties. One area in particular where modelling uncertainty is importa...
183
Voted
UM
2007
Springer
16 years 29 days ago
2007
Springer
Motivation is well-known for its importance in learning and its influence on cognitive processes. Adaptive systems would greatly benefit from having a user model of the learner’s...