William Smith

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 17

Top Topics

Autonomous Robotic

Machine Learning Algorithms

Top Venues

Int. J. Medical Informatics

Int. J. Comput. Vis.

IoPARTS@MobiSys

Publications

William Smith, Yongming Qin, Siddharth Singh, Hudson Burke, Tomonari Furukawa, Gamini Dissanayake
A Multistage Framework for Autonomous Robotic Mapping with Targeted Metrics. Robotics 12 (2) (2023)
Fredrik Dahlqvist, Alexandra Silva, William Smith
Deterministic stream-sampling for probabilistic programming: semantics and verification. CoRR (2023)
William Smith
Guest Editorial: Special Issue on Computer Vision from 2D to 3D. Int. J. Comput. Vis. 131 (2) (2023)
Fredrik Dahlqvist, Alexandra Silva, William Smith
Deterministic stream-sampling for probabilistic programming: semantics and verification. LICS (2023)
William Smith, Yongming Qin, Tomonari Furukawa, Gamini Dissanayake
Autonomous Robotic Map Refinement for Targeted Resolution and Local Accuracy. SSRR (2022)
Baoluo Meng, Arjun Viswanathan, William Smith, Abha Moitra, Kit Siu, Michael Durling
Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT. NFM (2022)
Sumit Purohit, Patrick Mackey, William Smith, Madelyn Dunning, Miquette J. Orren, Trevor M. Langlie-Miletich, Rahul D. Deshmukh, Ankur Bohra, Tonya J. Martin, Dan J. Aimone, George Chin
Transactional Knowledge Graph Generation To Model Adversarial Activities. IEEE BigData (2021)
Yaoqing Liu, Anthony Dowling, Chris Page, William Smith
Building a Mininet-based Fiber Optic Simulator. WOCC (2021)
Joshua M. Inglis, Stephen Bacchi, Alexander Troelnikov, William Smith, Sepehr Shakib
Automation of penicillin adverse drug reaction categorisation and risk stratification with machine learning natural language processing. Int. J. Medical Informatics 156 (2021)
Baoluo Meng, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, Moosa Yahyazadeh, Vidhya Tekken Valapil, Michael Durling, Cesare Tinelli, Omar Chowdhury
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. Syst. 9 (1) (2021)
Gianluca Longoni, Ryan LaMothe, Jeremy Teuton, Mark Greaves, Nicole Nichols, William Smith
Machine Learning Algorithms for Active Monitoring of High Performance Computing as a Service (HPCaaS) Cloud Environments. CoRR (2020)
Chao Zhang, Stephan Liwicki, William Smith, Roberto Cipolla
Orientation-aware Semantic Segmentation on Icosahedron Spheres. CoRR (2019)
Sen Wang, Qingfeng Xia, William Smith
Geomagnetic Field based Human Search and Following for Autonomous Robots. IoPARTS@MobiSys (2018)
Mykola Fisun, William Smith, Alexander Trunov
The vector rotor as instrument of image segmentation for sensors of automated system of technological control. CSIT (1) (2017)
Sumit Purohit, William Smith, Alan R. Chappell, Patrick West, Benno Lee, Eric G. Stephan, Peter Fox
Effective Tooling for Linked Data Publishing in Scientific Research. ICSC (2016)
Nicole Nichols, Mark Greaves, William Smith, Ryan LaMothe, Gianluca Longoni, Jeremy Teuton
Identification of program signatures from cloud computing system telemetry data. SSCI (2016)
Eric G. Stephan, Todd Elsethagen, Larry K. Berg, Matthew C. Macduff, Patrick R. Paulson, Will J. Shaw, Chitra Sivaraman, William Smith, Adam S. Wynne
Semantic catalog of things, services, and data to support a wind data management facility. Inf. Syst. Frontiers 18 (4) (2016)
Alan R. Chappell, Jesse Weaver, Sumit Purohit, William Smith, Karen Schuchardt, Patrick West, Benno Lee, Peter Fox
Enhancing the impact of science data toward data discovery and reuse. ICIS (2015)
Eric G. Stephan, Alan R. Chappell, Chitra Sivaraman, Sumit Purohit, William Smith, Bernadette Farias Lóscio
Deep web scientific sensor measurements usage: A standards-based approach. CTS (2015)
William Smith, Alan R. Chappell, Courtney D. Corley
Medical and transmission vector vocabulary alignment with Schema.org. ICBO (2015)
Samantha Campbell, Max Grinchenko, William Smith
Linear Cryptanalysis of Simplified AES Under Change of S-Box. Cryptologia 37 (2) (2013)
Ilian Todorov, Laurence Ellison, William Smith
Rigid Body Molecular Dynamics within the Domain Decomposition Framework of DL_POLY_4. PaCT (2013)
Zhenzhong Jia, William Smith, Huei Peng
Fast analytical models of wheeled locomotion in deformable terrain for mobile robots. Robotica 31 (1) (2013)
William Smith, Bingcai Zhang
Real-time 3-D mapping for robotic applications. COM.Geo (2012)
Zhenzhong Jia, William Smith, Huei Peng
Terramechanics-based wheel-terrain interaction model and its applications to off-road wheeled mobile robots. Robotica 30 (3) (2012)
Bingcai Zhang, William Smith
3D city site model extraction through point cloud generated from stereo images. COM.Geo (2011)
Christopher Scannell, Jonathan Decker, Joseph Collins, William Smith
High-fidelity Real-time Antiship Cruise Missile Modeling on the GPU. PARCO (2011)
Zhenzhong Jia, William Smith, Huei Peng
Fast computation of wheel-soil interactions for safe and efficient operation of mobile robots. IROS (2011)
Jon Davenport, Charles Neu, William Smith, Susan Heath
Using discrete event simulation to examine marine training at the Marine Corps Communication-Electronics school. WSC (2007)
J. Edward Swan II, Marco Lanzagorta, Doug Maxwell, Eddy Kuo, Jeffrey K. Uhlmann, Wendell Anderson, Haw-Jye Shyu, William Smith
A computational steering system for studying microwave interactions with missile bodies. IEEE Visualization (2000)
Kholmirzo Kholmurodov, William Smith, Kenji Yasuoka, Thomas A. Darden, Toshikazu Ebisuzaki
A smooth-particle mesh Ewald method for DL_POLY molecular dynamics simulation package on the Fujitsu VPP700. J. Comput. Chem. 21 (13) (2000)
Timothy R. Forester, William Smith
SHAKE, rattle, and roll: Efficient constraint algorithms for linked rigid bodies. J. Comput. Chem. 21 (2) (2000)
William B. Andrew, Glenn Carl, Ravi K. Charath, James F. Hoff, Ron Modo, Hung Nguyen, William Smith, David Rhein, Joe Schulingkamp, Carolyn W. Spivak, James P. Steward, Akila Subramaniam
A field programmable system chip which combines FPGA and ASIC circuitry. CICC (1999)
John S. Sobolewski, Santosh Mamidi, William Smith
Workload characteristics and effective scheduling in large parallel systems. PARCO (1999)
Timothy R. Forester, William Smith
SHAKE, rattle, and roll: Efficient constraint algorithms for linked rigid bodies. J. Comput. Chem. 19 (1) (1998)
Mark R. Wilson, Michael P. Allen, Mark A. Warren, Alain Sauron, William Smith
Replicated data and domain decomposition molecular dynamics techniques for simulation of anisotropic potentials. J. Comput. Chem. 18 (4) (1997)
Stephen Himley, Kenneth Butler, Setsuo Takatani, William Smith, Yukihiko Nose
Application of computers in development of a total artificial heart. CBMS (1989)