Panagiotis - PDFSEARCH.IO - Document Search Engine

Panagiotis
Results: 208

#	Item
41	All-Termination(SCP) Panagiotis Manolios and Aaron Turon Northeastern University {pete,turon}@ccs.neu.edu Abstract. We recently introduced the All-Termination(T ) problem: given a termination solver T and a function F , Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:16 Mathematical analysis Mathematics Analysis Functions and mappings Computability theory Static program analysis Termination analysis Big O notation Derivative Bijection Expected value Recursion
42	IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOL., NO., TACI: Taxonomy-Aware Catalog Integration Panagiotis Papadimitriou, Member, IEEE, Panayiotis Tsaparas, Member, IEEE, Add to Reading List Source URL: www.cs.uoi.gr Language: English - Date: 2012-03-15 07:46:08 Statistical classification Symbol Naive Bayes classifier Generalised Whitehead product
43	Ex post evaluation Area of Langadas Deliverable 6.3 Transport Systems Research Group, Aristotle University of Thessaloniki Evangelos Genitsaris • Panagiotis Tsalis • Tzoulia Tapali • Emmanouil Aivazelis • Dimitri Add to Reading List Source URL: smartmove-project.eu Language: English - Date: 2016-06-14 03:10:40 Transport Private transport Automotive industry American Motors Chrysler Coupes Sedans Station wagons Mid-size cars
44	Investigating the Potential of the Inter-IXP Multigraph for the Provisioning of Guaranteed End-to-End Services Vasileios Kotronis, Rowan Klöti, Panagiotis Georgopoulos, Bernhard Ager Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2015-05-18 12:16:09 Internet Standards Routing Internet protocols Internet exchange point Net neutrality Internet transit Border Gateway Protocol Internet service provider Bandwidth Broker Multiprotocol Label Switching Peering
45	INTERACTIVE ANALYTICAL DISPLAYS FOR SPATIAL DECISION SUPPORT SYSTEMS Marc P. Armstrong Panagiotis Lolonis Department of Geography The University of Iowa Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 00:45:32
46	Volume 43 Issue 5 May 2016 Nestor Bibliography of Aegean Prehistory and Related Areas Add to Reading List Source URL: classics.uc.edu Language: English - Date: 2016-06-21 07:53:54 Bronze Age Greece Minoan civilization Adamantios Sampson Panagiotis Faklaris
47	Stitching Inter-Domain Paths over IXPs 1 ETH Vasileios Kotronis1 , Rowan Klöti1 , Matthias Rost2 , Panagiotis Georgopoulos1 , Bernhard Ager1 , Stefan Schmid2,3 , Xenofontas Dimitropoulos4,1 Add to Reading List Source URL: inspire.edu.gr Language: English - Date: 2016-04-22 07:03:49 Routing Internet Standards Internet protocols Internet exchange point Border Gateway Protocol London Internet Exchange Route Views Internet transit Peering Multigraph Hurricane Electric Looking Glass server
48	Ex post evaluation Area of Langadas Deliverable 6.3 Transport Systems Research Group, Aristotle University of Thessaloniki Evangelos Genitsaris • Panagiotis Tsalis • Tzoulia Tapali • Emmanouil Aivazelis • Dimitri Add to Reading List Source URL: www.smartmove-project.eu Language: English - Date: 2016-06-14 03:10:40 American Motors Chrysler Coupes Sedans Station wagons
49	Volume 43 Issue 3 March 2016 Nestor Bibliography of Aegean Prehistory and Related Areas Add to Reading List Source URL: classics.uc.edu Language: English - Date: 2016-04-12 09:00:59 Arvanites Ottoman Greeks Adamantios Sampson Panagiotis Faklaris
50	Computer-Aided Reasoning for the Masses Panagiotis Manolios College of Computer and Information Science Northeastern University 360 Huntington Ave., Boston MA 02115, USA Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-02 19:29:56 Theoretical computer science Formal methods ACL2 Lisp Statements Automated theorem proving Formal verification J Strother Moore Mathematical proof Conjecture Algorithm Reason