Search results for "Verity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	Sravanthi Kalepu, Shonali Krishnaswamy, Seng Wai Loke	Reputation = f(User Ranking, Compliance, Verity).	ICWS	2004	DBLP DOI BibTeX RDF
64	Abhishek PC	Analysing the vulnerability exploitation in Android with the device-mapper-verity (dm-verity): student research abstract.	SAC	2017	DBLP DOI BibTeX RDF
51	Kiam Choo, Rajat Mukherjee, Rami Smair, Wei Zhang	The verity federated infrastructure.	CIKM	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.	CVPR	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.	ACM Southeast Regional Conference	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.	CIKM	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.	Vis. Comput.	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.	Ind. Robot	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.	Blockchain	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.	CoRR	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.	EMC/HumanCom	2013	DBLP DOI BibTeX RDF
32	Jonathan Winkley, Ping Jiang 0001, Weiping Jiang	Verity: an ambient assisted living platform.	IEEE Trans. Consumer Electron.	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.	Software Engineering Research and Practice	2003	DBLP BibTeX RDF
32	Sravanthi Kalepu, Shonali Krishnaswamy, Seng Wai Loke	Verity: a QoS metric for selecting Web services and providers.	WISE Workshops	2003	DBLP DOI BibTeX RDF
32	Richard M. Tong	Tarragon Consulting at INEX 2002: Experiments using the K2 Search Engine from Verity, Inc..	INEX Workshop	2002	DBLP BibTeX RDF
32	Jan O. Pedersen 0001, Craig Silverstein, Christopher C. Vogt	Verity at TREC-6: out-of-the-box and beyond.	Inf. Process. Manag.	2000	DBLP DOI BibTeX RDF
32	Mysore Ramaswamy, Sumit Sarkar, Ye-Sho Chen	Using Directed Hypergraphs to Verity Rule-Based Expert Systems.	IEEE Trans. Knowl. Data Eng.	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.	TREC	1997	DBLP BibTeX RDF
32	Andreas Kuehlmann, Arvind Srinivasan 0004, David P. LaPotin	Verity - A formal verification program for custom CMOS circuits.	IBM J. Res. Dev.	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.	CoRR	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.	J. Comput. Sci.	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.	PLoS Comput. Biol.	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.	ICASSP	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.	ICASSP	2023	DBLP DOI BibTeX RDF
31	Verity McIntosh	Dialing up the danger: Virtual reality for the simulation of risk.	Frontiers Virtual Real.	2022	DBLP DOI BibTeX RDF
31	Paul Bremner, Thomas J. Mitchell, Verity McIntosh	The impact of data sonification in virtual reality robot teleoperation.	Frontiers Virtual Real.	2022	DBLP DOI BibTeX RDF
31	Verity Anne Trott	'Gillette: The best a beta can get': Networking hegemonic masculinity in the digital sphere.	New Media Soc.	2022	DBLP DOI BibTeX RDF
31	Verity Allan	The Cavendish Computors: The women working in scientific computing for Radio Astronomy.	CoRR	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.	IEEE Trans. Biomed. Eng.	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.	iLRN	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.	CoRR	2021	DBLP BibTeX RDF
31	Verity Allan, Caitriona Leedham	Scientific Computing in the Cavendish Laboratory and the pioneering women Computors.	CoRR	2021	DBLP BibTeX RDF
31	Zhenghao Guo, Verity M. McClelland, Zoran Cvetkovic	Unravelling Causal Relationships Between Cortex and Muscle with Errors-in-variables Models.	EMBC	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.	EMBC	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.	Remote. Sens.	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.	Astron. Comput.	2020	DBLP DOI BibTeX RDF
31	Emily Riehl, Dominic R. Verity	Recognizing Quasi-Categorical Limits and Colimits in Homotopy Coherent Nerves.	Appl. Categorical Struct.	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.	Cogn. Sci.	2020	DBLP DOI BibTeX RDF
31	Callum Jones, Verity Trott, Scott Wright	Sluts and soyboys: MGTOW and the production of misogynistic online harassment.	New Media Soc.	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.	NeuroImage	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.	EVA	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.	eScience	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.	ICASSP	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.	Ecol. Informatics	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.	IEEE Trans. Biomed. Eng.	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.	EMBC	2017	DBLP DOI BibTeX RDF
31	Florrie Verity, Dirk Pattinson	Formally verified invariants of vote counting schemes.	ACSW	2017	DBLP DOI BibTeX RDF
31	Verity Warne	Rewarding reviewers - sense or sensibility? A Wiley study explained.	Learn. Publ.	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.	ICASSP	2016	DBLP DOI BibTeX RDF
31	Charlie Hargood, Verity Hunt, Mark J. Weal, David E. Millard	Patterns of Sculptural Hypertext in Location Based Narratives.	HT	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.	ISSNIP	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.	MindTrek	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.	Visualization and Data Analysis	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.	CVPR	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.	CAIP	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.	J. Math. Model. Algorithms	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.	Oper. Res.	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.	APCCM	2005	DBLP BibTeX RDF
31	Qingsong Ye, Anthony M. Sloane, Dominic R. Verity	Analysis, Specification and Generation of Mobile Computer Data Synchronisation.	ICMB	2005	DBLP DOI BibTeX RDF
31	Richard Buckland, Michael Johnson, Dominic R. Verity	On the Specification of Higher Dimensional Automata.	Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR	2002	DBLP DOI BibTeX RDF
31	Ross Kirk, Andy Hunt, Mark Hildred, Adrian Verity	The Role of Gesture in Environmental Control.	EUROMICRO	2000	DBLP DOI BibTeX RDF
31	Simon Ambler, Dominic R. Verity	Generalized logic and the representation of rings.	Appl. Categorical Struct.	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.	IROS	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.	Edutainment	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".	IT Prof.	2007	DBLP DOI BibTeX RDF
19	Philip J. Scott	Traces, Feedback, and the Geometry of Computation (Abstract).	FCT	2007	DBLP DOI BibTeX RDF
19	Miroslaw Kutylowski, Filip Zagórski	Verifiable Internet Voting Solving Secure Platform Problem.	IWSEC	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.	FSKD (1)	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.	ICME	2006	DBLP DOI BibTeX RDF
19	Zhou Jun, Yukio Umetani	A Grid-Enabled PSE for Physical Simulation: Experiences on GridPSi.	e-Science	2005	DBLP DOI BibTeX RDF
19	Matt Lepinski, Silvio Micali, Abhi Shelat	Fair-Zero Knowledge.	TCC	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.	Web Intelligence	2005	DBLP DOI BibTeX RDF
19	Zhi-Hong Deng, Ming Zhang 0004	Improving Text Categorization Using the Importance of Words in Different Categories.	CIS (1)	2005	DBLP DOI BibTeX RDF
19	W. Sardha Wijesoma, Linthotage Dushantha Lochana Perera, Martin David Adams	Navigation in complex unstructured environments.	ICARCV	2004	DBLP DOI BibTeX RDF
19	Silvio Micali, Michael O. Rabin, Joe Kilian	Zero-Knowledge Sets.	FOCS	2003	DBLP DOI BibTeX RDF
19	Esfandiar Haghverdi	Partially Additive Categories and Fully Complete Models of Linear Logic.	TLCA	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.	WSC	2000	DBLP DOI BibTeX RDF
19	Ron Dolin, J. Pierre, M. Butler, R. Avedon	Practical evaluation of IR within automated classification systems.	CIKM	1999	DBLP DOI BibTeX RDF	training sets, IR evaluation, automated classification
19	Nathalie Côté	System Description/Demo of Alis Translation Solutions: Overview.	AMTA	1998	DBLP DOI BibTeX RDF
19	M. B. Ayati	On the identity of decision support systems (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
19	Roddy W. Erickson, David R. Musser	The AFFIRM Theorem Prover: Proof Forests and Management of Large Proofs.	CADE	1980	DBLP DOI BibTeX RDF