Filters








1,311 Hits in 7.8 sec

Taming Discrete Integration via the Boon of Dimensionality [article]

Jeffrey M. Dudek, Dror Fried, Kuldeep S. Meel
2020 arXiv   pre-print
The key contribution of this work addresses this scalability challenge via an efficient reduction of discrete integration to model counting.  ...  We augment our proposed reduction, called DeWeight, with a state of the art efficient approximate model counter and perform detailed empirical analysis over benchmarks arising from neural network verification  ...  Acknowledgements We are grateful to Supratik Chakraborty and Moshe Vardi for many insightful discussions.  ... 
arXiv:2010.10724v1 fatcat:kwlti6dykrhizg7tbtf7c6hc2a

Computational Asymmetry in Strategic Bayesian Networks [article]

Sebastian Benthall, John Chuang
2012 arXiv   pre-print
Among the strategic choices made by today's economic actors are choices about algorithms and computational resources.  ...  rounded to some decimal place, subject to the symmetry and zero sum constraints.  ...  A Bayes net is a graphical model in which nodes represent random variables and edges show the conditional dependencies of nodes on each other.  ... 
arXiv:1206.2878v1 fatcat:kab3r6vcebflhgbpbjr53ugrju

Case Study for the Return on Investment of Internet of Things Using Agent-Based Modelling and Data Science

Charles Houston, Stephen Gooberman-Hill, Richard Mathie, Andrew Kennedy, Yunxi Li, Pedro Baiz
2017 Systems  
Agent-based modelling, through an integration with data science, presents an attractive simulation method to capture these underlying complexities and provide a solution.  ...  Traditional simulation and analysis techniques cannot model the complex systems inherent in fields such as infrastructure asset management, or suffer from a lack of data on which to build a prediction.  ...  Note that only the data gathered from January 1, 2012 contained the fields required to categorise the failures in this way and entries with missing failure labels were excluded.  ... 
doi:10.3390/systems5010004 fatcat:q47ladtthva7rkiw6t4qycrdo4

Isometric Tensor Network representation of string-net liquids [article]

Tomohiro Soejima, Karthik Siva, Nick Bultinck, Shubhayu Chatterjee, Frank Pollmann, Michael P. Zaletel
2019 arXiv   pre-print
Taken together, these results show that long-range entanglement by itself is not an obstruction to isoTNS representation and suggest that all two-dimensional gapped phases with gappable edges admit an  ...  (a) Graphical notation for the A-symbol tensor. Red legs label unitary indices.  ...  legs and {s} label ancilla legs.  ... 
arXiv:1908.07545v1 fatcat:civtvnm47vg35giinfkgcomkpe

Partially Ordered Mixed Hidden Markov Model for the Disablement Process of Older Adults

Edward Ip, Qiang Zhang, Jack Rejeski, Tammy Harris, Stephen Kritchevsky
2013 Journal of the American Statistical Association  
We describe a maximum likelihood method for estimating the partially ordered, mixed effects model and show how the model can be applied to a longitudinal data set that consists of N = 2,903 older adults  ...  The model generalizes the continuation ratio model for ordinal data in the generalized linear model literature and provides a formal framework for testing the effects of risk factors and/or an intervention  ...  the original data set as an anchor model, and for each imputed data set we determined a state label by matching the state to the closest state in the anchor model.  ... 
doi:10.1080/01621459.2013.770307 pmid:24058222 pmcid:PMC3777389 fatcat:4bw6jcro7racvb6tkyr7zln3sa

Zero-Shot Action Recognition in Videos: A Survey [article]

Valter Estevam, Helio Pedrini, David Menotti
2020 arXiv   pre-print
, annotating and labeling videos are difficult and laborious tasks.  ...  There is a demand for methods that can classify instances from classes that are not present in the training of models, especially in the complex problem of automatic video understanding, since collecting  ...  Method Used in appoaches A Annotated Wang and Chen [90] Mishra et al. [  ... 
arXiv:1909.06423v2 fatcat:w5eh7wjdmnaktnbsqczsdmhane

TagLine: Information Extraction for Semi-Structured Text in Medical Progress Notes

Dezon K Finch, James A McCart, Stephen L Luther
2014 AMIA Annual Symposium Proceedings  
The class labels applied to the lines were then used for annotating semi-structured text elements.  ...  Features for the learning machine were suggested by prior work, and by examining text, and selecting attributes that help distinguish classes of text lines.  ...  count or decimal nums Dec1 Continuous offset of 1rst Decimal Dec2 Continuous offset of 2nd decimal Dec3 Continuous offset of 3rd decimal Bang Continuous count of !  ... 
pmid:25954358 pmcid:PMC4419992 fatcat:xkpi6o4gnjbp5k6a67rswjx5c4

Geometric modeling based on polygonal meshes

Mario Botsch, Mark Pauly, Leif Kobbelt, Pierre Alliez, Bruno Lévy, Stephan Bischoff, Christian Rössl
2007 ACM SIGGRAPH 2007 courses on - SIGGRAPH '07  
Alliez was awarded in 2005 the EUROGRAPHICS young researcher award for his contributions to computer graphics and geometry processing.  ...  He was awarded a Ph.D. in Image and Signal Processing in 2000 from theÉcole Nationale Supérieure des Télécommunications, Paris.  ...  It is much more focused on requirements of modeling with polygonal meshes and provides a set of standard geometry processing algorithms, like mesh smoothing, decimation, etc.  ... 
doi:10.1145/1281500.1281640 dblp:conf/siggraph/BotschPKALBR07 fatcat:khwj3g4lu5eurovnvvt7hzenye

A computational model for analytic column stores [article]

Eyal Rozenberg
2019 arXiv   pre-print
The model is based on circuits whose wires carry columns rather than scalar values, and whose nodes apply operators with column inputs and outputs.  ...  A strict adherence to columnarity allows for a relatively simple and robust model; enabling extensive and intensive optimization of almost all aspects of query processing; and also enabling massive uniform  ...  Boncz and Urbani , as well as Aris Koning of MonetDB Solutions B.V., for useful discussion and comments on earlier versions of this work.  ... 
arXiv:1904.12217v2 fatcat:3rehuab3fne4xb32guwgkhmxc4

Multiresolution Markov models for signal and image processing

A.S. Willsky
2002 Proceedings of the IEEE  
This leads to a discussion of MR models on more general graphs and ties to well-known and emerging methods for inference on graphical models.  ...  These MR methods have found application and permeated the literature of a widely scattered set of disciplines, and one of our principal objectives is to present a single, coherent picture of this framework  ...  First and foremost are his good friends and valued colleagues A. Benveniste and M.  ... 
doi:10.1109/jproc.2002.800717 fatcat:lbs3ddxxpff4ndiutddn4ziq6m

The quickhull algorithm for convex hulls

C. Bradford Barber, David P. Dobkin, Hannu Huhdanpaa
1996 ACM Transactions on Mathematical Software  
To determine the Delaunay triangulation of a set of points lift the points to a paraboloid and compute their convex hull.  ...  We represent a convex hull with a set of facets and a set of adjacency lists giving the neighbors and vertices for each facet. The boundary elements of a facet are called ridges.  ...  ACKNOWLEDGMENTS Albert Marden and Victor Milenkovic provided excellent environments for completing this work. The referees' comments greatly improved the presentation and content of this article.  ... 
doi:10.1145/235815.235821 fatcat:kvgiriqhurht3mbja3uu7cqvbm

PERSONALISED BODY COUNTER CALIBRATION USING ANTHROPOMETRIC PARAMETERS

S. Pölz, B. Breustedt
2015 Radiation Protection Dosimetry  
The framework was implemented in form of an abstract, modular data model, a software tool for modelling, simulation and evaluation of general body counting scenarios, and a statistical analysis method  ...  Current calibration methods offer personalisation for lung and liver counting only with respect to body mass and height and do not specify uncertainties.  ...  They are modelled as a list of integer or decimal numbers in a specific order.  ... 
doi:10.1093/rpd/ncv398 pmid:26396263 fatcat:qhxlqe66wzcx3belohwrjtykqm

The Twisting Paths of Recall: Khipu (Andean cord notation) as artifact [chapter]
English

Frank Salomon
2013 Writing as Material Practice: Substance, surface and medium  
of complete / incomplete numbers); 7) decimal / non-decimal 'information type' (Urton 2003: 120) .  ...  "Models…in effect diagrams…in more than two dimensions, and with working parts; or in other words, diagrams are flat and static models.  ... 
doi:10.5334/bai.b fatcat:bdvnnm5wqfhw5jg24244cekoc4

Equivalence theory for cross-format photographic image quality comparisons

D. Andrew Rowlands
2018 Optical Engineering: The Journal of SPIE  
An expression for a correction to the conventional equivalence formulae is derived, which is proven to be formally required whenever focus is set closer than infinity, although numerically significant  ...  Additionally, this paper argues that equivalence theory should be used in practice to appropriately perform cross-format image quality comparisons and demonstrates how various common metrics should be  ...  the ISO settings labelled on the camera; such labelled settings are only for use with in-camera JPEG output.  ... 
doi:10.1117/1.oe.57.11.110801 fatcat:dn54uqsjsfb2hc5d2n3i3s66xi

An Investigation Into 3-, 4-, and 5-Year-Old Children's Nonsymbolic Magnitude Comparison Ability According to Ratio Limit and Task Condition

Woomi Cho, Soon-Hyung Yi
2017 Adonghakoeji  
Even counting engages a formalism, for a standard set of labels (the count words) must be used in a standard sequence, and these labels must be paired with objects in accordance with strict constraints  ...  This is a widely promoted idea among mathematics educators and psychologists. It is at the heart of many proposals to use manipulatives and graphic models in early mathematics teaching.  ...  Then they set up a missing addend problem, 36 * 69, it-hich they solved by a combination of estimation and correelon.  ... 
doi:10.5723/kjcs.2017.38.1.117 fatcat:btnu74n4zrfozatulb5i2qlb7m
« Previous Showing results 1 — 15 out of 1,311 results