Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Ken Arnold

Known as: Kenneth C R C Arnold, Kenneth CRC Arnold, Kenneth Cutts Richard Cabot Arnold 
Kenneth Cutts Richard Cabot Arnold is an American computer programmer well known as one of the developers of the 1980s dungeon-crawling video game… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
IC3 is a recently proposed verification technique for the analysis of sequential circuits. IC3 incrementally overapproximates the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2007
Highly Cited
2007
This paper analyzes government-led renegotiations in infrastructure concession contracts in Latin America, based on the same… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 3
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Implicit type shifting, or coercion, appears to indicate a modular grammatical architecture, in which the process of semantic… Expand
  • figure 1
  • table 1
  • table 2
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2002
Highly Cited
2002
We present a document analysis system able to assign logical labels and extract the reading order in a broad set of documents… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2001
Highly Cited
2001
This paper presents Kizamu, a computer-based sculpting system for creating digital characters for the entertainment industry… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
1999
Highly Cited
1999
From the Book: PREFACE: Over the next decade the computing landscape will change dramatically as devices become ubiquitous… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
One of the eventual consequences of the global debt crisis was a wave of market-oriented economic reforms. This paper discusses… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Inevitably, reading is one of the requirements to be undergone. To improve the performance and quality, someone needs to have… Expand
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Because of the difficulty of adequately simulating large digital designs, there has been a recent surge of interest in formal… Expand
  • figure 2.7
Is this relevant?
Highly Cited
1989
Highly Cited
1989
The demonstration of repeatability of relative body size and of locomotor performance in growing lizards is relevant to the… Expand
  • table 1
  • table 3
  • table 4
Is this relevant?