Search results for "Wyoming"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
135	ZongBo Shang, Jeffrey D. Hamerlinck	Using Statistics and Spatial Data Mining to Study Land Cover in Wyoming : Can We Predict Vegetation Types from Environmental Variables?	ICDM Workshops	2007	DBLP DOI BibTeX RDF	Wyoming, discriminant analysis, Factor analysis, land cover, classification and regression tree
44	Raymond Gable	VOIP in a university call center.	SIGUCCS	2006	DBLP DOI BibTeX RDF	ACD, IP contact center, agent dashboard, frontrange solutions, help center, service, VOIP, help desk, call center
44	Michael Magee, Sue Englert	An interdisciplinary course in digital image processing.	SIGCSE	1992	DBLP DOI BibTeX RDF
33	Vincent-Michael Kwesi Ampadu, Andrew John Ker, Shaun S. Wulff, Khaled Ksaibati	Predicted Average Annual Cost of Crashes on the US-16 Wyoming Downgrade Using Time Series Analysis and Forecasting.	Int. J. Intell. Transp. Syst. Res.	2024	DBLP DOI BibTeX RDF
33	Virginia Alonso de Linaje, Shuhab D. Khan, Janok Bhattacharya	Study of carbonate concretions using imaging spectroscopy in the Frontier Formation, Wyoming.	Int. J. Appl. Earth Obs. Geoinformation	2018	DBLP DOI BibTeX RDF
33	Samuel Haimov, Jeffrey French, Bart Geerts, Zhien Wang, Min Deng, Alfred Rodi, Andrew L. Pazmany	Compact Airborne Ka-Band Radar: a New Addition to the University of Wyoming Aircraft for Atmospheric Research.	IGARSS	2018	DBLP DOI BibTeX RDF
33	Ruben Gamboa, Jared Davis (eds.)	Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2013, Laramie, Wyoming, USA, May 30-31, 2013.	ACL2	2013	DBLP DOI BibTeX RDF
33	Jared Davis, Sol Swords	Verified AIG Algorithms in ACL2	ACL2	2013	DBLP DOI BibTeX RDF
33	Matt Kaufmann, J Strother Moore	Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1	ACL2	2013	DBLP DOI BibTeX RDF
33	Bernard van Gastel, Julien Schmaltz	A formalisation of XMAS	ACL2	2013	DBLP DOI BibTeX RDF
33	Caleb Eggensperger	Proof Pad: A New Development Environment for ACL2	ACL2	2013	DBLP DOI BibTeX RDF
33	David A. Greve, Konrad Slind	A Step-Indexing Approach to Partial Functions	ACL2	2013	DBLP DOI BibTeX RDF
33	Lucas Helms, Ruben Gamboa	An Interpreter for Quantum Circuits	ACL2	2013	DBLP DOI BibTeX RDF
33	Shilpi Goel, Warren A. Hunt Jr., Matt Kaufmann	Abstract Stobjs and Their Application to ISA Modeling	ACL2	2013	DBLP DOI BibTeX RDF
33	Sebastiaan J. C. Joosten, Bernard van Gastel, Julien Schmaltz	A Macro for Reusing Abstract Functions and Theorems	ACL2	2013	DBLP DOI BibTeX RDF
33	David S. Hardin, Samuel S. Hardin	ACL2 Meets the GPU: Formalizing a CUDA-based Parallelizable All-Pairs Shortest Path Algorithm in ACL2	ACL2	2013	DBLP DOI BibTeX RDF
33	Freek Verbeek, Julien Schmaltz	Verification of Building Blocks for Asynchronous Circuits	ACL2	2013	DBLP DOI BibTeX RDF
33	Collin G. Homer, Cameron L. Aldridge, Debra K. Meyer, Spencer J. Schell	Multi-scale remote sensing sagebrush characterization with regression trees over Wyoming, USA: Laying a foundation for monitoring.	Int. J. Appl. Earth Obs. Geoinformation	2012	DBLP DOI BibTeX RDF
33	Rex E. Gantenbein, Barbara J. Robinson, Robert L. Wolverton, Jennifer E. Earls	Developing Telehealth in Rural America: The Wyoming Network for Telehealth.	GHTC	2011	DBLP DOI BibTeX RDF
33		101 Things to Know or Do as a Wyoming County Library Board Member.	Public Libr. Q.	2010	DBLP DOI BibTeX RDF
33	Kyle Cheesbrough, Jake Edmunds, Glenn A. Tootle, Greg Kerr, Larry Pochop	Estimated Wind River Range (Wyoming, USA) Glacier Melt Water Contributions to Agriculture.	Remote. Sens.	2009	DBLP DOI BibTeX RDF
33	Robin K. Hill	How close did Kurt Gödel get to the University of Wyoming?	SIGACT News	2007	DBLP DOI BibTeX RDF
33	Steven D. Prager, J. Michael Daniels, Scott Kelley	Sketch-based Identification of Bench and Terrace Slope Breaks in the Laramie Basin, Wyoming.	Trans. GIS	2007	DBLP DOI BibTeX RDF
33	Charles P. Howerton	Forth is alive and well and living in a hypercube somewhere in Wyoming.	FORTH	1991	DBLP DOI BibTeX RDF
22	Bob Ward	Computer Society Honors Oklahoma Teen at Intel Science Fair.	Computer	2006	DBLP DOI BibTeX RDF	IEEE Computer Society, awards
22	Raymond G. Jacquot, Cameron H. G. Wright, Thomas V. Edgar, Robert F. Kubichek	Visualization of Partial Differential Equation Solutions.	Comput. Sci. Eng.	2006	DBLP DOI BibTeX RDF	visualization, partial differential equations
22	Jim Osborn	Supervising students in satellite locations: overlords need minions!	SIGUCCS	2005	DBLP DOI BibTeX RDF	continued training, student supervisors, tiered support, tracking, efficiency, accountability, supervision, student employees
22	Jim Osborn	Scheduling student employees doesn't have to make you crazy.	SIGUCCS	2005	DBLP DOI BibTeX RDF	payroll, timecards, web-based solutions, scheduling, student employees, out-sourcing
22	Anthonia Onyeahialam, Falk Huettmann, Stefania Bertazzon	Modeling Sage Grouse: Progressive Computational Methods for Linking a Complex Set of Local, Digital Biodiversity and Habitat Data Towards Global Conservation Statements and Decision-Making Systems.	ICCSA (3)	2005	DBLP DOI BibTeX RDF
22	Susan L. Maruca, Geoffrey M. Jacquez	Area-based tests for association between spatial patterns.	J. Geogr. Syst.	2002	DBLP DOI BibTeX RDF
22	Peter R. Wurman	Guest Editor's Introduction: Dynamic Pricing in the Virtual Marketplace.	IEEE Internet Comput.	2001	DBLP DOI BibTeX RDF
22	Suresh Muknahallipatna, J. J. Kane, Jerry C. Hamann	Distributed Remote LAN Administration Tool for Windows NT & 2000-Based LANs: Preliminary Work.	LCN	2001	DBLP DOI BibTeX RDF
22	Kathie France	Microcomputer software management: a user-oriented approach.	SIGUCCS	1987	DBLP DOI BibTeX RDF