799 search results - page 117 / 160 » Generating Reliable Code from Hybrid-Systems Models |
AIED
2009
Springer
14 years 4 months ago
2009
Springer
Self-explaining is a beneficial learning strategy for studying worked-out examples because it either supplies missing information through the generation of inferences or because it...
CIKM
2005
Springer
14 years 3 months ago
2005
Springer
XML documents are frequently used in applications such as business transactions and medical records involving sensitive information. Typically, parts of documents should be visibl...
TEC
2008
13 years 9 months ago
2008
Abstract--We present an algorithm that coevolves fitness predictors, optimized for the solution population, which reduce fitness evaluation cost and frequency, while maintaining ev...
CVPR
2007
IEEE
14 years 12 months ago
2007
IEEE
We combine detection and tracking techniques to achieve robust 3?D motion recovery of people seen from arbitrary viewpoints by a single and potentially moving camera. We rely on d...
CJ
2006
13 years 10 months ago
2006
Most microprocessor chips today use an out-of-order instruction execution mechanism. This mechanism allows superscalar processors to extract reasonably high levels of instruction ...