Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Best of 2014 Recommended by Editor Recommended by Reviewer Recommended by Reader
Search


These reviews have been chosen by the editors to be highlighted.
Options:
Year:
1-10 of 34 results Date
Globally optimal joint image segmentation and shape matching based on Wasserstein modes
Schmitzer B., Schnörr C.  Journal of Mathematical Imaging and Vision 52(3): 436-458, 2015. Type: Article

At times, the task of understanding the contents of an image has used two sequential steps of segmentation and recognition, without interplay between the two. A better, though more complex, approach is to determine object boundaries as part of the...

Aug 31 2015
Machine learning for first-order theorem proving
Bridge J., Holden S., Paulson L.  Journal of Automated Reasoning 53(2): 141-172, 2014. Type: Article, Reviews: (1 of 2)

Automatic theorem provers, which today are no longer new things, can be said to be powerful tools in, for example, high-assurance design and verification of systems. Humans certainly need theorem provers’ help for many types of today’s...

Aug 24 2015
Learning Blender: a hands-on guide to creating 3D animated characters
Villar O.,  Addison-Wesley Professional, Upper Saddle River, NJ, 2014. 352 pp. Type: Book (978-0-133886-17-7)

Creating 3D animated characters is a difficult task that can greatly benefit from proper software support. Blender is such a 3D animation software system. There are currently many other such systems available, all with their own strengths and weak...

Aug 17 2015
Uniformly convergent hybrid schemes for solutions and derivatives in quasilinear singularly perturbed BVPs
Zheng Q., Li X., Gao Y.  Applied Numerical Mathematics 91(C): 46-59, 2015. Type: Article

A singularly perturbed boundary-value problem is a boundary-value problem that contains a small parameter whose value cannot be approximated by setting to zero. The one-dimensional singularly perturbed quasilinear convection-diffusion problem is c...

Aug 10 2015
Model emergent dynamics in complex systems
Roberts A.,  SIAM, Philadelphia, PA, 2014. 760 pp. Type: Book (978-1-611973-55-6)

The beginning of the 20th century saw several revolutions in physics, including quantum theory with its strange dualism of waves and particles, relativity with its invocation of nonintuitive geometries, and the intractability of conventional mathe...

Jul 27 2015
iOS 8 for programmers: an app-driven approach with Swift (3rd ed.)
Deitel P., Deitel H., Deitel A.,  Prentice Hall Press, Upper Saddle River, NJ, 2014. 450 pp. Type: Book (978-0-133965-26-1)

Introduced in 2014, the Swift programming language is becoming the language of choice for programming on Apple’s latest mobile operating system, iOS 8. Combined with Cocoa Frameworks and Xcode 6 development tools, it forms a set of leading-e...

Jul 20 2015
TouchCut: fast image and video segmentation using single-touch interaction
Wang T., Han B., Collomosse J.  Computer Vision and Image Understanding 12014-30, 2014. Type: Article

Have you ever used the magic wand tool in Photoshop? If so, it accomplishes 90 percent of the work described in this paper. The only difference is that this work uses finger touch instead of a mouse click, thanks to the prevailing touchscreen tech...

Jul 13 2015
15 fundamentals for higher performance in software development: includes discussions on CMMI, lean Six Sigma, agile and SEMAT’s essence framework
McMahon P.,  PEM Systems, 2014. 336 pp. Type: Book (978-0-990450-83-2)

Readers will find a good bridge between real-world practice and theoretical guidelines and measures for software process improvements for practicing professionals in this book. It begins by highlighting that collectively we fall short of achieving...

Jul 6 2015
An improved clustering ensemble method based link analysis
Hao Z., Wang L., Cai R., Wen W.  World Wide Web 18(2): 185-195, 2015. Type: Article

A method to improve clustering ensembles of datasets, called WETU, is presented in this paper. The current clustering ensemble methods use measurements, such as the weighted connection-triple (WCT), the weighted triple-quality (WTQ), and the combi...

Jun 29 2015
Strategic information disclosure to people with multiple alternatives
Azaria A., Rabinovich Z., Goldman C., Kraus S.  ACM Transactions on Intelligent Systems and Technology (TIST) 5(4): 1-21, 2014. Type: Article

The issue of persuasion games, where one player, the agent, tries to influence the behavior of the other, the user, is considered in this paper. In the cases considered here, the agent is assumed to have knowledge that the user does not. However, ...

Jun 22 2015
 
Display per page
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2015 ThinkLoud, Inc.
Terms of Use
| Privacy Policy