Beagle

Known as: Beagled, Beagle search, Beagle (disambiguation) 
Beagle is a search system for Linux and other Unix-like systems, enabling the user to search documents, chat logs, email and contact lists. It is not… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Beagle is a design concept aiming to improve the quality of life and the development of hospitalized adolescents (12-16) with… (More)
Is this relevant?
2015
2015
Beagle is an automated theorem prover for first-order logic modulo built-in theories. It implements a refined version of the… (More)
Is this relevant?
2014
2014
This paper presents BEAGLE TAC, a HOL4 tactic for using Beagle as an external ATP for discharging HOL4 goals. We implement a… (More)
  • table 1
  • table 2
  • table 3
  • table 5
  • table 4
Is this relevant?
Highly Cited
2012
Highly Cited
2012
• Face detection (a) and Fiducial localization (b) • Feature extraction at detected and inferred fiducials (c, d) • Breed… (More)
Is this relevant?
2005
2005
Summary: Central to the unraveling of the early evolution of the genome is the origin and role of introns. The evolution of the… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Merging and splitting source code entities is a common activity during the lifespan of a software system; as developers rethink… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2005
2005
  • A. D. Griffithsa, A. J. Coatesa, +6 authors C. T. Pillingerg
  • 2005
Mullard Space Science Laboratory, University College London, Holmbury St. Mary, Dorking, RH5 6NT, UK Space-X, Jaquet-Droz 1, CH… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2003
2003
Evolutionary computation is a promising artificial intelligence field involving the simulation of natural evolution to solve… (More)
Is this relevant?
2002
2002
This paper introduces a new Evolutionary Computation (EC) framework named Open BEAGLE, that we have been developing and improving… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 3
Is this relevant?
1981
1981
This r :port descr ibes BEAGLE (Biological Er,olut ionary,4igor i thm Generat ing togical Expressionsl r i 'h ich is a computer… (More)
Is this relevant?