|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 30 occurrences of 30 keywords
|
|
|
Results
Found 104 publication records. Showing 81 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
89 | Sravanthi Kalepu, Shonali Krishnaswamy, Seng Wai Loke |
Reputation = f(User Ranking, Compliance, Verity). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: Proceedings of the IEEE International Conference on Web Services (ICWS'04), June 6-9, 2004, San Diego, California, USA, pp. 200-, 2004, IEEE Computer Society, 0-7695-2167-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
64 | Abhishek PC |
Analysing the vulnerability exploitation in Android with the device-mapper-verity (dm-verity): student research abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017, pp. 576-577, 2017, ACM, 978-1-4503-4486-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
51 | Kiam Choo, Rajat Mukherjee, Rami Smair, Wei Zhang |
The verity federated infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2002 ACM CIKM International Conference on Information and Knowledge Management, McLean, VA, USA, November 4-9, 2002, pp. 621, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
multiple heterogeneous information sources, integration, framework, aggregation, infrastructure, federated |
38 | Zhi Zhang, Vartika Singh, Thomas E. Slowe, Sergey Tulyakov, Venugopal Govindaraju |
Real-time Automatic Deceit Detection from Involuntary Facial Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2007 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2007), 18-23 June 2007, Minneapolis, Minnesota, USA, 2007, IEEE Computer Society, 1-4244-1179-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Niveditha Thagarapu, Tilak Mulukalapally, Sachin Lad, Randy K. Smith |
NASA's standards advisor pilot: search solutions for an intranet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 44st Annual Southeast Regional Conference, 2006, Melbourne, Florida, USA, March 10-12, 2006, pp. 446-451, 2006, ACM, 1-59593-315-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
search engine, enterprise search |
38 | Christina Yip Chung, Raymond Lieu, Jinhui Liu, Alpha K. Luk, Jianchang Mao, Prabhakar Raghavan |
Thematic mapping - from unstructured documents to taxonomies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2002 ACM CIKM International Conference on Information and Knowledge Management, McLean, VA, USA, November 4-9, 2002, pp. 608-610, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
clustering and labeling, concept tree construction and visualization, thematic mapping, conceptual search, concept discovery |
36 | Alex Pang, Craig M. Wittenbrink, Suresh K. Lodha |
Approaches to uncertainty visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 13(8), pp. 370-390, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Verity, Classification, Data quality, Differences, Comparative visualization |
32 | Joanne Pransky |
The Pransky interview: Dr Raffaello D'Andrea, Founder, CEO, and Chairman of the board at Verity; Entrepreneur; Professor; Scientist and Artist. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ind. Robot ![In: Ind. Robot 49(2), pp. 177-180, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Shubham Sahai, Medha Atre, Shubham Sharma 0003, Rahul Gupta, Sandeep K. Shukla |
Verity: Blockchain Based Framework to Detect Insider Attacks in DBMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Blockchain ![In: IEEE International Conference on Blockchain, Blockchain 2020, Rhodes, Greece, November 2-6, 2020, pp. 26-35, 2020, IEEE, 978-0-7381-0495-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Shubham S. Srivastava, Medha Atre, Shubham Sharma 0003, Rahul Gupta, Sandeep K. Shukla |
Verity: Blockchains to Detect Insider Attacks in DBMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1901.00228, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
32 | Rui Zhou 0005, Zhu Ai, Jun Hu, Qun Liu, Qingguo Zhou, Xuan Wang, Hai Jiang 0003, Kuan-Ching Li |
Data Integrity Checking for iSCSI with Dm-verity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMC/HumanCom ![In: Advanced Technologies, Embedded and Multimedia for Human-centric Computing - HumanCom and EMC 2013 [International Conference on Human-centric Computing, HumanCom 2013 / 8th International Conference on Embedded and Multimedia Computing, EMC 2013, Taipei, Taiwan, August 23-25, 2013], pp. 691-697, 2013, Springer, 978-94-007-7261-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
32 | Jonathan Winkley, Ping Jiang 0001, Weiping Jiang |
Verity: an ambient assisted living platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Consumer Electron. ![In: IEEE Trans. Consumer Electron. 58(2), pp. 364-373, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Sergiu Dascalu, Daniela Saru, Ryan Simpson, Justin Bradley, Eva Sarwar, Joohoon Oh |
Specification of the Verity Learning Companion and Self-Assessment Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering Research and Practice ![In: Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 2, pp. 476-489, 2003, CSREA Press, 1-932415-20-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
32 | Sravanthi Kalepu, Shonali Krishnaswamy, Seng Wai Loke |
Verity: a QoS metric for selecting Web services and providers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE Workshops ![In: 4th International Conference on Web Information Systems Engineering Workshops, WISE 2003 Workshops, Rome, Italy, December 13, 2003, pp. 131-139, 2003, IEEE Computer Society, 0-7695-2103-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Richard M. Tong |
Tarragon Consulting at INEX 2002: Experiments using the K2 Search Engine from Verity, Inc.. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INEX Workshop ![In: Proceedings of the First Workshop of the INitiative for the Evaluation of XML Retrieval (INEX), Schloss Dagstuhl, Germany, December 9-11, 2002, pp. 88-94, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
32 | Jan O. Pedersen 0001, Craig Silverstein, Christopher C. Vogt |
Verity at TREC-6: out-of-the-box and beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Manag. ![In: Inf. Process. Manag. 36(1), pp. 187-204, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Mysore Ramaswamy, Sumit Sarkar, Ye-Sho Chen |
Using Directed Hypergraphs to Verity Rule-Based Expert Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 9(2), pp. 221-237, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
knowledge verification, knowledge acquisition, Error detection, hypergraphs, rule-based expert systems |
32 | Jan O. Pedersen 0001, Craig Silverstein, Christopher C. Vogt |
Verity at TREC-6: Out-of-the-Box and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TREC ![In: Proceedings of The Sixth Text REtrieval Conference, TREC 1997, Gaithersburg, Maryland, USA, November 19-21, 1997, pp. 259-273, 1997, National Institute of Standards and Technology (NIST). The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
32 | Andreas Kuehlmann, Arvind Srinivasan 0004, David P. LaPotin |
Verity - A formal verification program for custom CMOS circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBM J. Res. Dev. ![In: IBM J. Res. Dev. 39(1-2), pp. 149-166, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
31 | Daniel Hugo, John McCulloch, Akram Hameed, Will Borghei, Martin Grimeland, Verity Felstead, Mark Goldsworthy |
A smart building semantic platform to enable data re-use in energy analytics applications: the Data Clearing House. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.11630, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Fengming Yuan, Dali Wang, Shih-Chieh Kao, Michele Thornton, Daniel M. Ricciuto, Verity Salmon, Colleen Iversen, Peter Schwartz, Peter E. Thornton |
An ultrahigh-resolution E3SM land model simulation framework and its first application to the Seward Peninsula in Alaska. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. ![In: J. Comput. Sci. 73, pp. 102145, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Aris Paschalidis, Oliver J. Watson, Ozkan Aydemir, Robert Verity, Jeffrey A. Bailey |
coiaf: Directly estimating complexity of infection with allele frequencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 19(6), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Farwa Abbas, Verity M. McClelland, Zoran Cvetkovic, Wei Dai 0001 |
SS-ADMM: Stationary and Sparse Granger Causal Discovery for Cortico-Muscular Coupling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech and Signal Processing ICASSP 2023, Rhodes Island, Greece, June 4-10, 2023, pp. 1-5, 2023, IEEE, 978-1-7281-6327-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Zhenghao Guo, Verity M. McClelland, Wei Dai 0001, Zoran Cvetkovic |
Structured Errors-in-Variables Modelling for Cortico-Muscular Coherence Enhancement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech and Signal Processing ICASSP 2023, Rhodes Island, Greece, June 4-10, 2023, pp. 1-5, 2023, IEEE, 978-1-7281-6327-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Verity McIntosh |
Dialing up the danger: Virtual reality for the simulation of risk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Virtual Real. ![In: Frontiers Virtual Real. 3, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Paul Bremner, Thomas J. Mitchell, Verity McIntosh |
The impact of data sonification in virtual reality robot teleoperation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Virtual Real. ![In: Frontiers Virtual Real. 3, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Verity Anne Trott |
'Gillette: The best a beta can get': Networking hegemonic masculinity in the digital sphere. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Media Soc. ![In: New Media Soc. 24(6), pp. 1417-1434, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Verity Allan |
The Cavendish Computors: The women working in scientific computing for Radio Astronomy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.07267, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Zhenghao Guo, Verity M. McClelland, Osvaldo Simeone, Kerry R. Mills, Zoran Cvetkovic |
Multiscale Wavelet Transfer Entropy With Application to Corticomuscular Coupling Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Biomed. Eng. ![In: IEEE Trans. Biomed. Eng. 69(2), pp. 771-782, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Robert Sims, Barry Chang, Verity Bennett, Advaith Krishnan, Abdalslam Aboubakar, George Coman, Abdulrazak Bahrami, Zehao Huang, Christopher Clarke, Abhijit Karnik |
Step Into My Mind Palace: Exploration of a Collaborative Paragogy Tool in VR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iLRN ![In: 8th International Conference of the Immersive Learning Research Network, iLRN 2022, Vienna, Austria, May 30 - June 4, 2022, pp. 1-8, 2022, IEEE, 978-1-7348-9952-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Zhenghao Guo, Verity M. McClelland, Osvaldo Simeone, Kerry R. Mills, Zoran Cvetkovic |
Multiscale Wavelet Transfer Entropy with Application to Corticomuscular Coupling Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.04152, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
31 | Verity Allan, Caitriona Leedham |
Scientific Computing in the Cavendish Laboratory and the pioneering women Computors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.00365, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
31 | Zhenghao Guo, Verity M. McClelland, Zoran Cvetkovic |
Unravelling Causal Relationships Between Cortex and Muscle with Errors-in-variables Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2021, Mexico, November 1-5, 2021, pp. 967-970, 2021, IEEE, 978-1-7281-1179-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Shengjia Du, Qi Yu, Wei Dai 0001, Verity M. McClelland, Zoran Cvetkovic |
Dictionary Learning Strategies for Cortico-Muscular Coherence Detection and Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2021, Mexico, November 1-5, 2021, pp. 240-244, 2021, IEEE, 978-1-7281-1179-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Dedi Yang, Ran Meng, Bailey D. Morrison, Andrew McMahon, Wouter Hantson, Daniel J. Hayes, Amy L. Breen, Verity G. Salmon, Shawn P. Serbin |
A Multi-Sensor Unoccupied Aerial System Improves Characterization of Vegetation Composition and Canopy Properties in the Arctic Tundra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 12(16), pp. 2638, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
31 | P. Chris Broekema, Verity L. Allan, Rob V. van Nieuwpoort, Henri E. Bal |
On optimising cost and value in compute systems for radio astronomy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Astron. Comput. ![In: Astron. Comput. 30, pp. 100337, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Emily Riehl, Dominic R. Verity |
Recognizing Quasi-Categorical Limits and Colimits in Homotopy Coherent Nerves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 28(4), pp. 669-716, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Zachary C. Irving, Aaron Glasser, Alison Gopnik, Verity Pinter, Chandra Sripada |
What Does "Mind-Wandering" Mean to the Folk? An Empirical Investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Sci. ![In: Cogn. Sci. 44(10), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Callum Jones, Verity Trott, Scott Wright |
Sluts and soyboys: MGTOW and the production of misogynistic online harassment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Media Soc. ![In: New Media Soc. 22(10), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Verity Smith, Daniel J. Mitchell, John Duncan |
The effect of rule retrieval on activity in the default mode network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 202, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Verity Winslow, Paul J. O'Dowd, Ian Chamberlain, Carinna Parraman |
Robotic Etching: The creation of digital etching using robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EVA ![In: Electronic Visualisation and the Arts, EVA 2019, London, UK, July 8-11, 2019, pp. 97-102, 2019, BCS. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | P. Chris Broekema, Verity L. Allan, Henri E. Bal |
On Optimising Cost and Value in eScience: Case Studies in Radio Astronom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eScience ![In: 14th IEEE International Conference on e-Science, e-Science 2018, Amsterdam, The Netherlands, October 29 - November 1, 2018, pp. 396, 2018, IEEE Computer Society, 978-1-5386-9156-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Yuhang Xu 0001, Qi Yu, Wei Dai 0001, Zoran Cvetkovic, Verity M. McClelland |
Cortico-Muscular Coherence Enhancement Via Sparse Signal Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: 2018 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2018, Calgary, AB, Canada, April 15-20, 2018, pp. 811-815, 2018, IEEE, 978-1-5386-4658-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Alessio Papini, D. Kim Rossmo, Stephen C. Le Comber, Robert Verity, Mark D. Stevenson, Ugo Santosuosso |
The use of jackknifing for the evaluation of geographic profiling reliability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ecol. Informatics ![In: Ecol. Informatics 38, pp. 76-81, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Yuhang Xu 0001, Verity M. McClelland, Zoran Cvetkovic, Kerry R. Mills |
Corticomuscular Coherence With Time Lag With Application to Delay Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Biomed. Eng. ![In: IEEE Trans. Biomed. Eng. 64(3), pp. 588-600, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Yuhang Xu 0001, Verity M. McClelland, Zoran Cvetkovic, Kerry R. Mills |
Cortico-muscular coherence enhancement via coherent Wavelet enhanced Independent Component Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), Jeju Island, South Korea, July 11-15, 2017, pp. 2786-2789, 2017, IEEE, 978-1-5090-2809-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Florrie Verity, Dirk Pattinson |
Formally verified invariants of vote counting schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSW ![In: Proceedings of the Australasian Computer Science Week Multiconference, ACSW 2017, Geelong, Australia, January 31 - February 3, 2017, pp. 31:1-31:10, 2017, ACM, 978-1-4503-4768-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Verity Warne |
Rewarding reviewers - sense or sensibility? A Wiley study explained. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Learn. Publ. ![In: Learn. Publ. 29(1), pp. 41-50, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Yuhang Xu 0001, Verity M. McClelland, Zoran Cvetkovic, Kerry R. Mills |
Delay estimation between EEG and EMG via coherence with time lag. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: 2016 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2016, Shanghai, China, March 20-25, 2016, pp. 734-738, 2016, IEEE, 978-1-4799-9988-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Charlie Hargood, Verity Hunt, Mark J. Weal, David E. Millard |
Patterns of Sculptural Hypertext in Location Based Narratives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HT ![In: Proceedings of the 27th ACM Conference on Hypertext and Social Media, HT 2016, Halifax, NS, Canada, July 10-13, 2016, pp. 61-70, 2016, ACM, 978-1-4503-4247-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Rachel Cardell-Oliver, Verity Scott, Tom Chapman, Jon Morgan, Angus Simpson |
Designing sensor networks for leak detection in water pipeline systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSNIP ![In: Tenth IEEE International Conference on Intelligent Sensors, Sensor Networks and Information Processing, ISSNIP 2015, Singapore, April 7-9, 2015, pp. 1-6, 2015, IEEE, 978-1-4799-8055-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Richard Vickers, Graham Cooper, James Field, Martyn Thayne, Clive McCarthy, Adam Verity |
Co_LAB #Project 1: an experiment in collaborative learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MindTrek ![In: Proceedings of the 18th International Academic MindTrek Conference: Media Business, Management, Content & Services, Academic MindTrek '14, Tampere, Finland, November 4-7, 2014, pp. 255-257, 2014, ACM, 978-1-4503-3006-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Matthias Schäfer 0001, Franz Wanner, Florian Mansmann, Christian Scheible, Verity Stennett, Anders T. Hasselrot, Daniel A. Keim |
Visual pattern discovery in timed event data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Visualization and Data Analysis ![In: Visualization and Data Analysis 2011, San Francisco Airport, CA, USA, January 24-25, 2011, pp. 78680K, 2011, SPIE, 978-0-8194-8405-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Wai Han Ho, Paul Andrew Watters, Dominic R. Verity |
Robustness of the New Owner-Tester Approach for Face Identification Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2007 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2007), 18-23 June 2007, Minneapolis, Minnesota, USA, 2007, IEEE Computer Society, 1-4244-1179-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Wai Han Ho, Paul Andrew Watters, Dominic R. Verity |
Are Younger People More Difficult to Identify or Just a Peer-to-Peer Effect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAIP ![In: Computer Analysis of Images and Patterns, 12th International Conference, CAIP 2007, Vienna, Austria, August 27-29, 2007, Proceedings, pp. 351-359, 2007, Springer, 978-3-540-74271-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
biometrics, identification, Aging, face |
31 | Dan Scott 0003, Andy Verity-Harrison, Colin R. Reeves |
The Container Transshipment Problem: Searching Representation Landscapes with Metaheuristic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Model. Algorithms ![In: J. Math. Model. Algorithms 5(3), pp. 273-289, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Pierre Chardaire, Geoff P. McKeown, S. A. Verity-Harrison, S. B. Richardson |
Solving a Time-Space Network Formulation for the Convoy Movement Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 53(2), pp. 219-230, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Howard C. Lovatt, Anthony M. Sloane, Dominic R. Verity |
A Pattern Enforcing Compiler (PEC) for Java: Using the Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCM ![In: Conceptual Modelling 2005, Second Asia-Pacific Conference on Conceptual Modelling (APCCM2005), Newcastle, NSW, Australia, January/February 2005, pp. 69-78, 2005, Australian Computer Society, 1-920682-25-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
31 | Qingsong Ye, Anthony M. Sloane, Dominic R. Verity |
Analysis, Specification and Generation of Mobile Computer Data Synchronisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMB ![In: 2005 International Conference on Mobile Business (ICMB 2005), 11-13 July 2005, Sydney, Australia, pp. 499-506, 2005, IEEE Computer Society, 0-7695-2367-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Richard Buckland, Michael Johnson, Dominic R. Verity |
On the Specification of Higher Dimensional Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR ![In: Categorical Methods for Concurrency, Interaction, and Mobility 2002, CONCUR 2002 Satellite Workshop, Brno, Czech Republic, August 24, 2002, pp. 1-11, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Ross Kirk, Andy Hunt, Mark Hildred, Adrian Verity |
The Role of Gesture in Environmental Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 26th EUROMICRO 2000 Conference, Informatics: Inventing the Future, 5-7 September 2000, Maastricht, The Netherlands, pp. 2377-2383, 2000, IEEE Computer Society, 0-7695-0780-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Simon Ambler, Dominic R. Verity |
Generalized logic and the representation of rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 4(2-3), pp. 283-296, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Sung Mok Kim, Whee Kuk Kim, Byung-Ju Yi |
Kinematic analysis and design of a new 3T1R 4-DOF parallel mechanism with rotational pitch motion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 5167-5172, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Peayton Chen, Rita Kuo, Maiga Chang, Jia-Sheng Heh |
Designing a Trading Card Game as Educational Reward System to Improve Students' Learning Motivations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edutainment ![In: Learning by Playing. Game-based Education System Design and Development, 4th International Conference on E-Learning and Games, Edutainment 2009, Banff, Canada, August 9-11, 2009. Proceedings, pp. 175, 2009, Springer, 978-3-642-03363-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Trading Card Game, Learning motivation, Game, Competition, Reward |
19 | David L. Bean |
How Advances in Search Combine Databases, Sentence Diagramming, and "Just the Facts". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IT Prof. ![In: IT Prof. 9(1), pp. 14-19, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Philip J. Scott |
Traces, Feedback, and the Geometry of Computation (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings, pp. 39, 2007, Springer, 978-3-540-74239-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Miroslaw Kutylowski, Filip Zagórski |
Verifiable Internet Voting Solving Secure Platform Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSEC ![In: Advances in Information and Computer Security, Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007, Proceedings, pp. 199-213, 2007, Springer, 978-3-540-75650-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
vote selling, anonymity, electronic voting, coercion resistance |
19 | Yan-You Hao, Zhong-Xian Chi, Deqin Yan |
Fuzzy Support Vector Machine Based on Vague Sets for Credit Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 1, pp. 603-607, 2007, IEEE Computer Society, 0-7695-2874-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Bin Li, Feng Huang, Lifeng Shu, Shiqiang Yang |
Optimized Rate Allocation for Unbalanced Multiple Description Video Coding Over Unreliable Packet Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2006 IEEE International Conference on Multimedia and Expo, ICME 2006, July 9-12 2006, Toronto, Ontario, Canada, pp. 105-108, 2006, IEEE Computer Society, 1-4244-0367-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Zhou Jun, Yukio Umetani |
A Grid-Enabled PSE for Physical Simulation: Experiences on GridPSi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
e-Science ![In: First International Conference on e-Science and Grid Technologies (e-Science 2005), 5-8 December 2005, Melbourne, Australia, pp. 478-485, 2005, IEEE Computer Society, 0-7695-2448-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Matt Lepinski, Silvio Micali, Abhi Shelat |
Fair-Zero Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC ![In: Theory of Cryptography, Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12, 2005, Proceedings, pp. 245-263, 2005, Springer, 3-540-24573-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Mani Abrol, Bhavin Doshi 0002, Jim Kanihan, Amit Kumar, Jinhui Liu, Jianchang Mao |
Intelligent Taxonomy Management Tools for Enterprise Content. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2005 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2005), 19-22 September 2005, Compiegne, France, pp. 809-811, 2005, IEEE Computer Society, 0-7695-2415-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Zhi-Hong Deng, Ming Zhang 0004 |
Improving Text Categorization Using the Importance of Words in Different Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIS (1) ![In: Computational Intelligence and Security, International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part I, pp. 458-463, 2005, Springer, 3-540-30818-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | W. Sardha Wijesoma, Linthotage Dushantha Lochana Perera, Martin David Adams |
Navigation in complex unstructured environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 8th International Conference on Control, Automation, Robotics and Vision, ICARCV 2004, Kunming, China, 6-9 December 2004, Proceedings, pp. 167-172, 2004, IEEE, 0-7803-8653-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Silvio Micali, Michael O. Rabin, Joe Kilian |
Zero-Knowledge Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 44th Symposium on Foundations of Computer Science (FOCS 2003), 11-14 October 2003, Cambridge, MA, USA, Proceedings, pp. 80-91, 2003, IEEE Computer Society, 0-7695-2040-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Esfandiar Haghverdi |
Partially Additive Categories and Fully Complete Models of Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings., pp. 197-216, 2001, Springer, 3-540-41960-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | John T. Carr III, Osman Balci |
Verification and validation of object-oriented artifacts throughout the simulation model development life cycle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 32nd conference on Winter simulation, WSC 2000, Wyndham Palace Resort & Spa, Orlando, FL, USA, December 10-13, 2000, pp. 866-871, 2000, WSC, 0-7803-6582-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Ron Dolin, J. Pierre, M. Butler, R. Avedon |
Practical evaluation of IR within automated classification systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 1999 ACM CIKM International Conference on Information and Knowledge Management, Kansas City, Missouri, USA, November 2-6, 1999, pp. 322-329, 1999, ACM, 1-58113-146-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
training sets, IR evaluation, automated classification |
19 | Nathalie Côté |
System Description/Demo of Alis Translation Solutions: Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMTA ![In: Machine Translation and the Information Soup, Third Conference of the Association for Machine Translation in the Americas, AMTA '98, Langhorne, PA, USA, October 28-31, 1998, Proceedings, pp. 522-525, 1998, Springer, 3-540-65259-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | M. B. Ayati |
On the identity of decision support systems (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 391, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Roddy W. Erickson, David R. Musser |
The AFFIRM Theorem Prover: Proof Forests and Management of Large Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings, pp. 220-231, 1980, Springer, 3-540-10009-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #81 of 81 (100 per page; Change: )
|
|