Skip to search formSkip to main contentSkip to account menu

Mark V. Shaney

Known as: Mark V, Mark V Shaney 
Mark V. Shaney is a synthetic Usenet user whose postings in the net.singles newsgroups were generated by Markov chain techniques, based on text from… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
2009
2009
Textures - repeatable spatial or temporal patterns - provide a useful mechanism for reusing small samples of text, images, audio… 
Highly Cited
2007
Highly Cited
2007
ly, we can describe a two-player game with positional winning conditions by a directed game graph G = (V, V0, V1, E), with a… 
2001
2001
This paper describes an approach to engineering efficient model checkers that are generic with respect to the temporal logic in… 
Review
1997
Review
1997
ions used, and what they mean to practitioners Abstractions are used: (i) To demonstrate feasibility; that is, even if a di erent…