488 search results - page 90 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
BMCBI
2006
14 years 11 months ago
2006
Background: Retinal photoreceptors are highly specialised cells, which detect light and are central to mammalian vision. Many retinal diseases occur as a result of inherited dysfu...
ISCAS
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— The heterogeneity in the current and future multimedia environment requires an elegant adaptation framework for the production and consumption of different kinds of mul...
102
click to vote
TROB
2008
14 years 11 months ago
2008
The interplay between robotics and neuromechanics facilitates discoveries in both fields: nature provides roboticists with design ideas, while robotics research elucidates critical...
110
click to vote
COGSCI
2002
14 years 11 months ago
2002
We address how listeners perceive temporal regularity in music performances, which are rich in temporal irregularities. A computational model is described in which a small system ...
TPDS
1998
14 years 11 months ago
1998
—Array redistribution is usually required to enhance algorithm performance in many parallel programs on distributed memory multicomputers. Since it is performed at run-time, ther...