Dmitry - PDFSEARCH.IO - Document Search Engine

Dmitry
Results: 773

#	Item
111	DL Reasoner vs. First-Order Prover Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov\|horrocks}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:09 Automated theorem proving Reasoning Semantic Web Artificial intelligence School of Computer Science University of Manchester Knowledge representation and reasoning Description logic Vampire Semantic reasoner Automated reasoning Web Ontology Language Resolution
112	Improved Algorithms for Module Extraction and Atomic Decomposition Dmitry Tsarkov School of Computer Science The University of Manchester Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:09 Information science Knowledge representation Technical communication Ontology Mathematical logic Mahlo cardinal Mereology Constructible universe
113	Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? Chiara Del Vescovo1 , Pavel Klinov2 , Bijan Parsia1 , Uli Sattler1 , Thomas Schneider3 , and Dmitry Tsarkov1 1 University of Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:05 Semantic Web Information science Knowledge representation Technical communication Model theory Ontology Web Ontology Language Module Elementary class
114	So near but so far After 100 days trekking across the Arctic sea, the Top of the World expedition was forced to capitulate. Team photographer Martin Hartley Add to Reading List Source URL: www.martinhartley.com Language: English - Date: 2008-12-15 07:47:36 Extreme points of Earth Sea ice Arctic Navigation North Pole Northern Canada Arctic Ocean Arctic ice pack Paul Landry Inuit Climate of the Arctic Dmitry Shparo
115	The CW Open and TR4W By: Marvin Bloomquist, N5AW Background: TR4W stands for TR for Windows. Developed by Dmitry Gulyaev, UA4WLI, TR4W is an adaptation of the DOS program TR Log. TR users will find it similar to the DOS Add to Reading List Source URL: www.cwops.org Language: English - Date: 2014-07-19 11:42:09 Radiosport User interface techniques Function key Contesting Control key Double-click Computer keyboard Windows key
116	Session V – Large Lakes, Deltas, and Transboundary Partnerships: Fostering Science, Cooperation, and Sound Management 1:50 PM Two Great Lakes of North Asia: Lake Baikal and Lake Taymyr Dmitry F. Pavlov1, Richard Robart Add to Reading List Source URL: deltas.usgs.gov Language: English - Date: 2009-07-31 15:52:02 Ethnic groups in Russia Lake Baikal Buryats Baykal Taymyr Yakuts
117	NEWSLETTER 158 (May 29, 2014) ECU PRESIDENT SILVIO DANAILOV MEETS WITH THE PRESIDENT OF THE ITALIAN CHESS FEDERATION, MR. GIANPIETRO PAGNONCELLI On 21st of May, 2014 in Milan, the ECU President Silvio Danailov met with t Add to Reading List Source URL: www.europechess.org Language: English - Date: 2014-11-17 11:50:47 Silvio Danailov Bulgarian Chess Federation Alexander Morozevich Chess Dmitry Jakovenko
118	asia.rbth.com New cosmodrome in the east Learn more about Russia’s space centre, which is near China P6 Add to Reading List Source URL: cdn.rbth.com Language: English - Date: 2016-05-19 03:39:19 United Nations General Assembly observers Independent politicians Russia Beyond the Headlines East Asia Summit Eurasian Economic Union Association of Southeast Asian Nations ASEAN Summit RussiaThailand relations Astrakhan Vladimir Putin Dmitry Medvedev Russia
119	CROSS-COLLECTION EVALUATION FOR MUSIC CLASSIFICATION TASKS Dmitry Bogdanov, Alastair Porter, Perfecto Herrera, Xavier Serra Music Technology Group, Universitat Pompeu Fabra Add to Reading List Source URL: wp.nyu.edu Language: English - Date: 2016-08-16 16:20:29 Machine learning Support vector machine Cross-validation Statistical classification Classifier Pattern recognition Test set
120	Empirical Study of Logic-Based Modules: Cheap Is Cheerful Chiara Del Vescovo1 , Pavel Klinov2 , Bijan Parsia1 , Ulrike Sattler1 , Thomas Schneider3 , and Dmitry Tsarkov1 1 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:05 Information science Semantic Web Knowledge representation Technical communication Artificial intelligence Ontology Web Ontology Language Model theory Module Structure Theory Description logic

UPDATE