Search results for "REGROUP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	Yves Ledru	Using KIDS as a Tool Support for VDM.	ICSE	1996	DBLP BibTeX RDF	KIDS, REGROUP, VDM specifications, correctness preserving transformations, executable prototypes synthesis, proof of consistency, formal specification, REFINE, theorem proving, program verification, specification languages, tool support, theorem prover, VDM
34	Fengpeng Li, Kemou Li, Jinyu Tian, Jiantao Zhou 0001	Regroup Median Loss for Combating Label Noise.	AAAI	2024	DBLP DOI BibTeX RDF
34	Fengpeng Li, Kemou Li, Jinyu Tian, Jiantao Zhou 0001	Regroup Median Loss for Combating Label Noise.	CoRR	2023	DBLP DOI BibTeX RDF
34	Zhengdong Hu, Yifan Sun 0003, Yi Yang 0001, Jianguang Zhou	Divide-and-Regroup Clustering for Domain Adaptive Person Re-identification.	AAAI	2022	DBLP DOI BibTeX RDF
34	Lokender Tiwari, Anish Madan, Saket Anand, Subhashis Banerjee	REGroup: Rank-aggregating Ensemble of Generative Classifiers for Robust Predictions.	WACV	2022	DBLP DOI BibTeX RDF
34	Angelique Taylor, Laurel D. Riek	REGROUP: A Robot-Centric Group Detection and Tracking System.	HRI	2022	DBLP DOI BibTeX RDF
34	Sumit Chaturvedi, Michal Lukác, Siddhartha Chaudhuri	ReGroup: Recursive Neural Networks for Hierarchical Grouping of Vector Graphic Primitives.	CoRR	2021	DBLP BibTeX RDF
34	Saleema Amershi, James Fogarty, Daniel S. Weld	Regroup: interactive machine learning for on-demand group creation in social networks.	CHI	2012	DBLP DOI BibTeX RDF
34	Timothy Nugent, Christopher Lueg	ReGroup: using location sharing to support distributed information gathering.	OZCHI	2010	DBLP DOI BibTeX RDF
34	Jinqiao Shi, Binxing Fang, Li-Jie Shao	n-1) attack.">Regroup-And-Go mixes to counter the (n-1) attack.	Internet Res.	2006	DBLP DOI BibTeX RDF
21	David Zhengwen Zhang, Anthony Ikechukwu Anosike, Ming Kim Lim 0001	Dynamically Integrated Manufacturing Systems (DIMS) - A Multiagent Approach.	IEEE Trans. Syst. Man Cybern. Part A	2007	DBLP DOI BibTeX RDF
21	Meng Wang 0005, Zili Shao, Chun Xue, Edwin Hsing-Mean Sha	Real-Time Loop Scheduling with Leakage Energy Minimization for Embedded VLIW DSP Processors.	RTCSA	2007	DBLP DOI BibTeX RDF
21	Guochen Hua, Meng Wang 0005, Zili Shao, Hui Liu 0006, Chun Xue	Real-Time Loop Scheduling with Energy Optimization Via DVS and ABB for Multi-core Embedded System.	EUC	2007	DBLP DOI BibTeX RDF
21	Hyungsoo Jung 0001, Dongin Shin, Hyeong Seog Kim, Hyuck Han, Inseon Lee, Heon Young Yeom	Dynamic Failure Management for Parallel Applications on Grids.	EGC	2005	DBLP DOI BibTeX RDF
21	Chaoying Dai, Pak Ching Li, Michel Toulouse	A Cooperative Multilevel Tabu Search Algorithm for the Covering Design Problem.	Artificial Evolution	2005	DBLP DOI BibTeX RDF	Multilevel algorithms, Covering design problem, Tabu search meta-heuristic
21	Xuan-Ha Vu, Djamila Sam-Haroud, Boi Faltings	Clustering for Disconnected Solution Sets of Numerical CSPs.	CSCLP	2003	DBLP DOI BibTeX RDF
21	Stephen W. Smoliar	Digital Documents Track - Introduction.	HICSS	2001	DBLP DOI BibTeX RDF
21	Jianjun Chen 0001, David J. DeWitt, Feng Tian, Yuan Wang	NiagaraCQ: A Scalable Continuous Query System for Internet Databases.	SIGMOD Conference	2000	DBLP DOI BibTeX RDF
21	Tamás Szirányi, Károly László, László Czúni, Francesco Ziliani	Object Oriented Motion-Segmentation for Video-Compression in the CNN-UM.	J. VLSI Signal Process.	1999	DBLP DOI BibTeX RDF
21	Catherine Dufourd, Alain Finkel	Polynomial-Time Manz-One Reductions for Petri Nets.	FSTTCS	1997	DBLP DOI BibTeX RDF
21	Jean-Pierre Crettez	A set of handwriting families: style recognition.	ICDAR	1995	DBLP DOI BibTeX RDF	handwriting families, style recognition, handwriting characterization, text recognition process, pertinent observations, semantic aspect, handwritten amounts, variability space, fuzzy logic, handwriting recognition, pattern classification, variability, fuzzy partition
21	Arturo I. Concepcion, R. M. Villafuerte	Expert DB: An Assistant Database Design System.	IEA/AIE (Vol. 1)	1990	DBLP DOI BibTeX RDF