|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 20 occurrences of 19 keywords
|
|
|
Results
Found 33 publication records. Showing 33 according to the selection in the facets
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM Workshops ![In: Workshops Proceedings of the 7th IEEE International Conference on Data Mining (ICDM 2007), October 28-31, 2007, Omaha, Nebraska, USA, pp. 661-666, 2007, IEEE Computer Society, 0-7695-3033-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 34th Annual ACM SIGUCCS Conference on User Services 2006, Edmonton, Alberta, Canada, November 5-8, 2006, pp. 128-130, 2006, ACM, 1-59593-438-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 23rd SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1992, Kansas City, Missouri, USA, March 5-6, 1992, pp. 197-201, 1992, ACM, 0-89791-468-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Intell. Transp. Syst. Res. ![In: Int. J. Intell. Transp. Syst. Res. 22(1), pp. 53-68, April 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Earth Obs. Geoinformation ![In: Int. J. Appl. Earth Obs. Geoinformation 66, pp. 82-92, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: 2018 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2018, Valencia, Spain, July 22-27, 2018, pp. 897-900, 2018, IEEE, 978-1-5386-7150-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL2 ![The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Jared Davis, Sol Swords |
Verified AIG Algorithms in ACL2 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL2 ![In: Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2013, Laramie, Wyoming, USA, May 30-31, 2013., pp. 95-110, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Matt Kaufmann, J Strother Moore |
Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL2 ![In: Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2013, Laramie, Wyoming, USA, May 30-31, 2013., pp. 5-12, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Bernard van Gastel, Julien Schmaltz |
A formalisation of XMAS ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL2 ![In: Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2013, Laramie, Wyoming, USA, May 30-31, 2013., pp. 111-126, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Caleb Eggensperger |
Proof Pad: A New Development Environment for ACL2 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL2 ![In: Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2013, Laramie, Wyoming, USA, May 30-31, 2013., pp. 13-28, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | David A. Greve, Konrad Slind |
A Step-Indexing Approach to Partial Functions ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL2 ![In: Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2013, Laramie, Wyoming, USA, May 30-31, 2013., pp. 42-53, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Lucas Helms, Ruben Gamboa |
An Interpreter for Quantum Circuits ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL2 ![In: Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2013, Laramie, Wyoming, USA, May 30-31, 2013., pp. 85-94, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Shilpi Goel, Warren A. Hunt Jr., Matt Kaufmann |
Abstract Stobjs and Their Application to ISA Modeling ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL2 ![In: Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2013, Laramie, Wyoming, USA, May 30-31, 2013., pp. 54-69, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Sebastiaan J. C. Joosten, Bernard van Gastel, Julien Schmaltz |
A Macro for Reusing Abstract Functions and Theorems ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL2 ![In: Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2013, Laramie, Wyoming, USA, May 30-31, 2013., pp. 29-41, 2013. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL2 ![In: Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2013, Laramie, Wyoming, USA, May 30-31, 2013., pp. 127-142, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Freek Verbeek, Julien Schmaltz |
Verification of Building Blocks for Asynchronous Circuits ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL2 ![In: Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2013, Laramie, Wyoming, USA, May 30-31, 2013., pp. 70-84, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Earth Obs. Geoinformation ![In: Int. J. Appl. Earth Obs. Geoinformation 14(1), pp. 233-244, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GHTC ![In: IEEE Global Humanitarian Technology Conference, GHTC 2011, Seattle, WA, USA, October 30 - November 1, 2011, pp. 366-370, 2011, IEEE Computer Society, 978-1-61284-634-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
33 | |
101 Things to Know or Do as a Wyoming County Library Board Member. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Libr. Q. ![In: Public Libr. Q. 29(1), pp. 48-59, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 1(4), pp. 818-828, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Robin K. Hill |
How close did Kurt Gödel get to the University of Wyoming? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 38(2), pp. 87-90, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. GIS ![In: Trans. GIS 11(5), pp. 703-719, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Charles P. Howerton |
Forth is alive and well and living in a hypercube somewhere in Wyoming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTH ![In: Proceedings of the Second and Third annual Workshops on Forth, FORTH 1990 and 1991, San Antonio, Texas, USA, pp. 115-120, 1991, ACM, 978-0-89791-462-8. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Bob Ward |
Computer Society Honors Oklahoma Teen at Intel Science Fair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 39(7), pp. 67-70, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Eng. ![In: Comput. Sci. Eng. 8(1), pp. 73-77, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
visualization, partial differential equations |
22 | Jim Osborn |
Supervising students in satellite locations: overlords need minions! ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 33rd Annual ACM SIGUCCS Conference on User Services 2005, Monterey, CA, USA, November 6-9, 2005, pp. 277-282, 2005, ACM, 1-59593-200-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 33rd Annual ACM SIGUCCS Conference on User Services 2005, Monterey, CA, USA, November 6-9, 2005, pp. 273-276, 2005, ACM, 1-59593-200-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2005, International Conference, Singapore, May 9-12, 2005, Proceedings, Part III, pp. 152-161, 2005, Springer, 3-540-25862-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Susan L. Maruca, Geoffrey M. Jacquez |
Area-based tests for association between spatial patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Geogr. Syst. ![In: J. Geogr. Syst. 4(1), pp. 69-83, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Peter R. Wurman |
Guest Editor's Introduction: Dynamic Pricing in the Virtual Marketplace. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 5(2), pp. 36-42, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 26th Annual IEEE Conference on Local Computer Networks (LCN 2001), 14-16 November 2001, Tampa, Florida, USA, Proceedings, pp. 59-61, 2001, IEEE Computer Society, 0-7695-1321-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Kathie France |
Microcomputer software management: a user-oriented approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 15th Annual ACM SIGUCCS Conference on User Services, Kansas City, Missouri, USA, 1987, pp. 363-366, 1987, ACM, 0-89791-241-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #33 of 33 (100 per page; Change: )
|
|