4 papers:
ICPR-2012-YaoKK #artificial reality- Shading derivation from an unspecified object for augmented reality (YY, HK, AK), pp. 57–60.
SAC-2009-GiroD #automaton #on the #probability #verification- On the verification of probabilistic I/O automata with unspecified rates (SG, PRD), pp. 582–586.
- SAC-2006-Ben-AsherBE #multi
- Management of unspecified semi-structured data in multi-agent environment (YBA, SB, YE), pp. 101–105.
FATES-2004-XieD #approach #component #model checking- An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components (GX, ZD), pp. 155–169.
