Oxford University

or Find Staff here

Results for University of Oxford

Results 1 - 10 of 17 for lgg .

Sort by date, Sort by relevance.

Results

1. https://www.cs.ox.ac.uk/people/alessandro.abate/publications/bcCASK15.pdf

Comparison with bounded-time approaches. In a third experiment, we compare ourmethod with the LGG algorithm [23] used by SpaceEx [16]. ... As expected, the LGG algo-rithm performs better in terms of tightness, but its runtime increases with the numberof

www.cs.ox.ac.uk/people/alessandro.abate/publications/bcCASK15.pdf- 166k - 21 Jun 2015 - Cached

2. oxford10.dvi

Artin groups: automatic structures and geodesics. Sarah Rees,,. University of Newcastle. Oxford, 12th November 2010. 1. Aims of the talk. I report on my result with Holt that any Artin group of large type in itsnatural presentation. • is shortlex

people.maths.ox.ac.uk/drutu/conference/ReesSlides.pdf- 200k - 12 Nov 2010 - Cached

3. https://www.cs.ox.ac.uk/people/alessandro.abate/publications/CASK20.pdf

Noname manuscript No.(will be inserted by the editor). Unbounded-Time Safety Verification of Guarded LTI Models with Inputsby Abstract Acceleration. Dario Cattaruzza Alessandro Abate Peter Schrammel Daniel Kroening. the date of receipt and

www.cs.ox.ac.uk/people/alessandro.abate/publications/CASK20.pdf- 328k - 24 Nov 2019 - Cached

4. TechReport4PJ.dvi

I J = I (fpiqj : i 2 f1; : : : ;mg; j 2 f1; : : : ; lgg).Combining Lemmas 2.7 and 2.8, if we have two nite systems of polynomials, ea hwith an asso

www.cs.ox.ac.uk/techreports/oucl/RR-07-07.pdf- 318k - 5 Nov 2007 - Cached

5. https://www.cs.ox.ac.uk/msctheses/1673/1/Zhao%2C_Z.pdf

LGG / GBM), breast (BRCA), and pan-kidney(KIPAN). It is stated in that by.

www.cs.ox.ac.uk/msctheses/1673/1/Zhao%2C_Z.pdf- 656k - 28 Aug 2018 - Cached

6. https://www.cs.ox.ac.uk/msctheses/517/1/1996_Closkey_G.pdf

Plotkin extended the LGG theory to Relative Least General Generalisation (RLGG) (section 4.3.3). ... 29. In the late 1960s Reynolds and Plotkin investigated the problem of finding least general generalisations (lggs) of atoms.

www.cs.ox.ac.uk/msctheses/517/1/1996_Closkey_G.pdf- 2802k - 12 Sep 2008 - Cached

7. https://www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2019/PetrovaKGH19.pdf

that are common for several entities in a graph. An approach by El Hassad et al.[9,10] attempts to find commonalities between Web resources by computing theleast general generalisation (lgg) ... of the RDF data containing these resources.The computation

www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2019/PetrovaKGH19.pdf- 353k - 1 Jul 2019 - Cached

8. https://www.cs.ox.ac.uk/files/3445/PRG117.pdf

defines its interface, by declaring t.hese operations as constants. -lilt n.une l5 mea.nl tu lgg",l Ihe kind of ubJa."k bo:<" iha.l mighl app","-I ill

www.cs.ox.ac.uk/files/3445/PRG117.pdf- 730k - 27 Oct 2009 - Cached

9. TechReport4PJ.dvi

I J = I (fpiqj : i 2 f1; : : : ;mg; j 2 f1; : : : ; lgg).Combining Lemmas 2.7 and 2.8, if we have two nite systems of polynomials, ea hwith an asso

www.cs.ox.ac.uk/files/665/RR-07-07.pdf- 318k - 5 Nov 2007 - Cached

10. www.transcomm.ox.ac.uk/briefings/brief8.pdf

PDF-1.2 %忏嫌 1 0 obj /Type /XObject /Subtype /Image /Name /Im1 /Width 201 /Height 176 /BitsPerComponent 8 /ColorSpace 2 0 R /Length 10343 /Filter [/ASCII85Decode /FlateDecode] stream 8;Z7G?eK(-[s#(dLT)U0_R'ie0n_$5K#25n84on_j,2$WCBIO4QIj

www.transcomm.ox.ac.uk/briefings/brief8.pdf- 121k - 30 Jun 2003 - Cached

Result Page

1 , 2 , Next .




Enquiries to Webmaster | Powered by Funnelback Search