7766 search results - page 1349 / 1554 » Testing Nondeterminate Systems |
CCGRID
2010
IEEE
13 years 12 months ago
2010
IEEE
Abstract--Reducing energy consumption for high end computing can bring various benefits such as, reduce operating costs, increase system reliability, and environment respect. This ...
CCIA
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. Text detection in urban scenes is a hard task due to the high variability of text appearance: different text fonts, changes in the point of view, or partial occlusion are...
CONCUR
2010
Springer
13 years 12 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
CLEF
2009
Springer
13 years 12 months ago
2009
Springer
In biological sequence processing, Multiple Sequence Alignment (MSA) techniques capture information about long-distance dependencies and the three-dimensional structure of protein ...
ECCV
2010
Springer
13 years 12 months ago
2010
Springer
The image of a planar mirror reflection (IPMR) can be interpreted as a virtual view of the scene, acquired by a camera with a pose symmetric to the pose of the real camera with res...