BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
automata (2)
augment (1)
structur (1)
agent (1)
environ (1)

Stem unspecifi$ (all stems)

4 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.