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

emacs

Known as: Psychoanalyze-pinhead, Hey Emacs, Emacs Pinky 
Emacs /ˈiːmæks/ and its derivatives are a family of text editors that are characterized by their extensibility. The manual for the most widely used… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
This paper describes the Automated Reasoning for Mizar ($\textsf{Miz}\mathbb{AR}$) service, which integrates several automated… Expand
  • table 1
  • figure 1
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Isabelle, which is available from http://isabelle.in.tum.de , is a generic framework for interactive theorem proving. The… Expand
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Dynamic voltage scaling (DVS) is a popular approach for energy reduction of integrated circuits. Current processors that use DVS… Expand
  • figure 1
  • table I
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Strictly limiting the lifetime (i.e. propagation and duration of exposure) of sensitive data (e.g. passwords) is an important and… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Dynamic voltage scaling (DVS) is a popular approach for energy reduction of integrated circuits. Current processors that use DVS… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The book addresses the fundamental questions of "what, why, when, where and how" the Open Source process has been able to produce… Expand
Is this relevant?
Highly Cited
2000
Highly Cited
2000
The string matching with mismatches problem is that of finding the number of mismatches between a pattern P of length m and every… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Teaching introductory computing courses with Scheme elevates the intellectual level of the course and thus makes the subject more… Expand
Is this relevant?
1992
1992
Metaphor is a conventional and ordinary part of language. An approach to metaphor, based on the explicit representation of… Expand
  • figure 3
  • figure 5
  • figure 6
  • figure 11
  • figure 15
Is this relevant?
Highly Cited
1984
Highly Cited
1984
Interactive programming environments , Interactive programming environments , مرکز فناوری اطلاعات و اطلاع رسانی کشاورزی 
Is this relevant?