Hierarchical segmentation of graphical interfaces for Document Object Model reconstruction C˘at˘alin F. Pert, icas, 1 Mihai S. Baba 1 Homa Davoudi 1 R˘azvan V. Florian 1 Figure 1. Detection of graphical elements usin

Source URL: uclmr.github.io

• Computational neuroscience
• Artificial intelligence
• Artificial neural networks
• Computing
• Applied mathematics
• Computational statistics
• Market research
• Mathematical psychology
• Convolutional neural network
• Image segmentation
• Document Object Model
• Market segmentation

LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based

Source URL: www.cl.cam.ac.uk

• Computer programming
• Software engineering
• Computing
• Fold
• Recursion
• LaTeX

Inferring Gender from Names on the Web: A Comparative Evaluation of Gender Detection Methods Fariba Karimi* , Claudia Wagner* , Florian Lemmerich* , Mohsen Jadidi* , and Markus Strohmaier* † *

Source URL: gdac.uqam.ca

• Gender
• Linguistics
• Gender studies
• Biology
• IPUMS
• Facial recognition system
• Third-person pronoun
• Grammatical gender
• Legal recognition of non-binary gender
• Grammar

Towards Measuring Real-World Performance of Android Devices Pascal Bissig, Gino Brunner, Florian Gubler, Roger Wattenhofer, Andreas Zingg Department of Electrical Engineering and Information Technology ETH Zurich, Switze

Source URL: www.tik.ee.ethz.ch

• Computing
• Software
• Computer architecture
• Smartphones
• Cloud clients
• Personal computing
• Android
• Benchmark
• Google Play
• HERE WeGo
• IOS
• BlackBerry Priv

LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based

Source URL: isabelle.in.tum.de

• Computer programming
• Software engineering
• Computing
• Fold
• Recursion
• LaTeX

Florian Tramèr Stanford Phil Daian , Ari Juels Cornell Tech, Jacobs, IC3

Source URL: www.usenix.org

• Cryptocurrencies
• Blockchains
• Ethereum
• Concurrent computing
• Distributed computing
• Alternative currencies
• Cross-platform software
• E-commerce
• ERC-20
• EOS.IO
• OmiseGO
• Gram

Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts Lorenz Breidenbach, Cornell Tech, IC3, ETH Zurich; Philip Daian, Cornell Tech, IC3; Florian Tramer, Stanford; Ari Juels, Cornell Tech

Source URL: www.usenix.org

• Cryptocurrencies
• Ethereum
• Blockchains
• Computing
• Alternative currencies
• Concurrent computing
• Distributed computing
• Cross-platform software
• Bug bounty program
• Smart contract
• Software bug
• Bounty

LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based

Source URL: mirror.clarkson.edu

• Computer programming
• Software engineering
• Computing
• Fold
• Recursion
• LaTeX

PDF Document

Source URL: www.florian-lehner.net

PDF Document

Source URL: www.florian-lehner.net