Appears in Proceedings of the 17th International Conference on Inductive Logic Programming (ILP). Corvallis, Oregon, USA. June, 2007. Combining Clauses with Various Precisions and Recalls to Produce Accurate Probabilisti

Source URL: mark.goadrich.com

Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, and Alwen Tiu LORIA – INRIA Lorraine – Uni

Source URL: www.montefiore.ulg.ac.be

ECO-SITE HAS REIMAGINED THE WAYS WIRELESS INFRASTRUCTURE CAN BE DEPLOYED – BENEFITTING CARRIERS AND URBAN MUNICIPALITIES BY COMBINING DECADES OF SITE MANAGEMENT WITH OUR DEEP COMMERCIAL REAL ESTATE AND REDEVELOPMENT EX

Source URL: www.eco-site.com

A “3+2” program combining physics at UNC Wilmington with electrical engineering at North Carolina State University gives students the option to earn a bachelor of science in physics from UNC Wilmington and a bachelor

Source URL: www.uncw.edu

EIGEN­CG01C: A high resolution global gravity field model combining CHAMP and GRACE satellite mission and surface data EIGEN­CG01C is a combination of GRACE mission (200 days out of April/May/

Source URL: www-app2.gfz-potsdam.de

• Gravimetry
• Geodesy
• Measurement
• Geomatics
• Geophysics
• Geoid
• Gravity anomaly
• Gravity Recovery and Climate Experiment
• Ocean surface topography
• Gravity of Earth
• Gal
• Physical geodesy

Combining Human and Machine Computing Elements for Analysis via Crowdsourcing Julian Jarrett, Iman Saleh, M. Brian Blake Department of Computer Science University of Miami

Source URL: www.tyronegrandison.org

Combining Lexical Resources: Mapping Between PropBank and VerbNet Edward Loper, Szu-ting Yi, and Martha Palmer Abstract A wide variety of lexical resources have been created to allow automatic semantic processing of nove

Source URL: ed.loper.org

Adjustment of ESMA’s approach towards the ancillary activity exemption (13 JulyESMA proposes a test combining the market size test with a trading activity test:  The trading activity test exclusively takes in

Source URL: ieta.memberclicks.net

Exploring Promising Stepping Stones by Combining Novelty Search with Interactive Evolution Brian G. Woolley and Kenneth O. Stanley , arXiv:1207.6682v1 [cs.NE] 28 Jul 2012

Source URL: eplex.cs.ucf.edu

• Evolutionary computation
• Evolutionary algorithms
• Evolution
• Applied mathematics
• Artificial intelligence
• Cybernetics
• Interactive evolutionary computation
• Theoretical computer science
• Neuroevolution of augmenting topologies
• Neuroevolution
• Mathematical optimization
• Fitness landscape

The Best of Both Worlds: Combining Information-Theoretic and Computational PIR for Communication Efficiency Casey Devet and Ian Goldberg University of Waterloo, ON, Canada {cjdevet,iang}@cs.uwaterloo.ca

Source URL: petsymposium.org