1228 search results - page 41 / 246 » Continuations, proofs and tests |
COCOS
2003
Springer
14 years 1 months ago
2003
Springer
This paper details a technique, called inter-block backtracking (IBB), which improves interval solving of decomposed systems with non-linear equations over the reals. This techniqu...
ICALT
2010
IEEE
13 years 8 months ago
2010
IEEE
—Adaptive educational hypermedia allows lessons to be personalized according to the needs of the learner. However, to achieve this, content must be split into stand-alone fragmen...
TSP
2010
13 years 2 months ago
2010
Time-frequency representations constitute the main tool for analysis of nonstationary signals arising in real-life systems. One of the most challenging applications of time-frequen...
SE
2007
13 years 9 months ago
2007
: The application of scientifically derived theories on software testing strongly depends on their ability to provide a value for practice. We provide a comprehensive review on the...
BMCBI
2007
13 years 8 months ago
2007
Background: In the last decade, techniques were established for the large scale genome-wide analysis of proteins, RNA, and metabolites, and database solutions have been developed ...