Search results for "instance"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Miguel F. Anjos	An improved semidefinite programming relaxation for the satisfiability problem.	Math. Program.	2005	DBLP DOI BibTeX RDF	Satisfiability, Semidefinite programming, Discrete optimization
11	Lukás Sekanina, Michal Bidlo	Evolutionary Design of Arbitrarily Large Sorting Networks Using Development.	Genet. Program. Evolvable Mach.	2005	DBLP DOI BibTeX RDF	scalability, evolutionary algorithm, development, sorting network
11	Ronald Fagin, Phokion G. Kolaitis, Lucian Popa 0001	Data exchange: getting to the core.	ACM Trans. Database Syst.	2005	DBLP DOI BibTeX RDF	computational complexity, data integration, dependencies, data exchange, core, conjunctive queries, chase, query answering, Certain answers, universal solutions
11	Abraham Bagherjeiran, Christoph F. Eick, Chun-Sheng Chen, Ricardo Vilalta	Adaptive Clustering: Obtaining Better Clusters Using Feedback and Past Experience.	ICDM	2005	DBLP DOI BibTeX RDF
11	April Rasala Lehman, Eric Lehman	Network coding: does the model need tuning?	SODA	2005	DBLP BibTeX RDF
11	Joaquín Pérez Ortega, Rodolfo A. Pazos, Juan Frausto Solís, Gerardo Reyes Salgado, René Santaolaya Salgado, Héctor J. Fraire H., Laura Cruz Reyes	An Approach for Solving Very Large Scale Instances of the Design Distribution Problem for Distributed Database Systems.	ISSADS	2005	DBLP DOI BibTeX RDF
11	Easwaran Raman, David I. August	Recursive data structure profiling.	Memory System Performance	2005	DBLP DOI BibTeX RDF	RDS, dynamic shape graph, list linearization, memory profiling, shape profiling
11	Sung-Soon Choi, Kyomin Jung, Jeong Han Kim	Phase transition in a random NK landscape model.	GECCO	2005	DBLP DOI BibTeX RDF	random k-SAT problem, unit clause algorithm, phase transition, branching process, NK landscape
11	Jian-Jia Chen, Tei-Wei Kuo	Voltage Scaling Scheduling for Periodic Real-Time Tasks in Reward Maximization.	RTSS	2005	DBLP DOI BibTeX RDF	Periodic Real-Time Tasks, Reward-Based Scheduling, Energy-Efficient Scheduling, Reward Maximization
11	David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith	Symmetry Definitions for Constraint Satisfaction Problems.	CP	2005	DBLP DOI BibTeX RDF
11	Adam Woznica, Alexandros Kalousis, Melanie Hilario	Kernels over Relational Algebra Structures.	PAKDD	2005	DBLP DOI BibTeX RDF
11	Héctor J. Fraire H., Graciela Mora Guadalupe Castilla V., Arturo Hernández R., Claudia Gómez Santillán, Graciela Mora O., Arquimedes Godoy V.	A Model for the Distribution Design of Distributed Databases and an Approach to Solve Large Instances.	IWDC	2005	DBLP DOI BibTeX RDF
11	Robert Bartlett	A Peer-to-Peer Formula Interest Expression Propagation Model for Distributed Virtual Environments.	DS-RT	2005	DBLP DOI BibTeX RDF
11	Liangxiao Jiang, Harry Zhang, Jiang Su	Learning k-Nearest Neighbor Naive Bayes for Ranking.	ADMA	2005	DBLP DOI BibTeX RDF
11	Véronique Ventos, Henry Soldano, Thibaut Lamadon	Alpha Galois Lattices.	ICDM	2004	DBLP DOI BibTeX RDF
11	Xingquan Zhu 0001, Xindong Wu 0001, Ying Yang 0001	Dynamic Classifier Selection for Effective Mining from Noisy Data Streams.	ICDM	2004	DBLP DOI BibTeX RDF
11	Joaquín Pérez Ortega, Rodolfo A. Pazos, Juan Frausto Solís, Guillermo Rodríguez 0001, David Romero 0003, Laura Cruz Reyes	A Statistical Approach for Algorithm Selection.	WEA	2004	DBLP DOI BibTeX RDF
11	Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee	System architecture: the context for scenario-based model synthesis.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	architecture, synthesis, generalisation, MSCs
11	Zhengjin Xiao, Qichun Huang, Qi Chen, Yangguang Liu	The syntactical analysis of workflow model with loop structure.	SMC (5)	2004	DBLP DOI BibTeX RDF
11	Holger Mauch	A Petri Net Representation for Dynamic Programming Problems in Management Applications.	HICSS	2004	DBLP DOI BibTeX RDF
11	Eric D. Browne, Michael Schrefl, James R. Warren	Goal-Focused Self-Modifying Workflow in the Healthcare Domain.	HICSS	2004	DBLP DOI BibTeX RDF
11	Vladimír Marko	Template Based, Designer Driven Design Pattern Instantiation Support.	ADBIS	2004	DBLP DOI BibTeX RDF
11	Sing-Hoi Sze, Songjian Lu, Jianer Chen	Integrating Sample-Driven and Pattern-Driven Approaches in Motif Finding.	WABI	2004	DBLP DOI BibTeX RDF
11	Daniel J. Buehrer, Chun-Yao Wang	Using a Class Algebra Ontology To Define Conversions between OWL/SQL/Java Beans.	Web Intelligence	2004	DBLP DOI BibTeX RDF
11	George Boukeas, Constantinos Halatsis, Vassilis Zissimopoulos, Panagiotis Stamatopoulos	Measures of Intrinsic Hardness for Constraint Satisfaction Problem Instances.	SOFSEM	2004	DBLP DOI BibTeX RDF
11	Shai Rubin, Somesh Jha, Barton P. Miller	Automatic Generation and Analysis of NIDS Attacks.	ACSAC	2004	DBLP DOI BibTeX RDF
11	Heike Wehrheim	Behavioral Subtyping Relations for Active Objects.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	object-orientation, refinement, CSP, behavioral subtyping
11	Chi-Wai Fung, Kamalakar Karlapalem, Qing Li 0001	Cost-driven vertical class partitioning for methods in object oriented databases.	VLDB J.	2003	DBLP DOI BibTeX RDF	Vertical class partitioning, Method-induced, Cost-driven, Affinity-based, Analytical cost model, Hill-climbing heuristic algorithm, Object-oriented databases
11	Somchai Chatvichienchai, Mizuho Iwaihara, Yahiko Kambayashi	Translating Content-Based Authorizations for XML Documents.	WISE	2003	DBLP DOI BibTeX RDF	Authorizations, Role-based Access Control, XML Documents, Schema Transformation, Document Transformation
11	Philipp Meier, Martin Wirsing	Towards a Formal Specification for the AgentComponent.	Objects, Agents, and Features	2003	DBLP DOI BibTeX RDF
11	Alberto Córdoba, Federico Fariña, José Ramón Garitagoitia, José Ramón González de Mendívil, Jesús E. Villadangos	A Low Communication Cost Algorithm for Distributed Deadlock Detection and Resolution.	PDP	2003	DBLP DOI BibTeX RDF
11	Guizhen Yang, Michael Kifer	Inheritance and Rules in Object-Oriented Semantic Web Languages.	RuleML	2003	DBLP DOI BibTeX RDF
11	Paul Wu, Alan D. Fekete	An Empirical Study of Commutativity in Application Code.	IDEAS	2003	DBLP DOI BibTeX RDF
11	Monaldo Mastrolilli, Leonora Bianchi	Core Instances for Testing: A Case Study.	WEA	2003	DBLP DOI BibTeX RDF
11	Jun Yan 0005, Yun Yang 0001, Gitesh K. Raikundalia	Enacting Business Processes in a Decentralised Environment with p2p-Based Workflow Support.	WAIM	2003	DBLP DOI BibTeX RDF
11	Cyril Banderier, René Beier, Kurt Mehlhorn	Smoothed Analysis of Three Combinatorial Problems.	MFCS	2003	DBLP DOI BibTeX RDF
11	Ronald Fagin, Phokion G. Kolaitis, Lucian Popa 0001	Data exchange: getting to the core.	PODS	2003	DBLP DOI BibTeX RDF
11	Alain Viari	How Does Computer Science Change Molecular Biology?	STACS	2003	DBLP DOI BibTeX RDF
11	Kevin Leyton-Brown, Eugene Nudelman, Galen Andrew, Jim McFadden, Yoav Shoham	Boosting as a Metaphor for Algorithm Design.	CP	2003	DBLP DOI BibTeX RDF
11	Javier Larrosa, Enric Morancho	Solving 'Still Life' with Soft Constraints and Bucket Elimination.	CP	2003	DBLP DOI BibTeX RDF
11	Nadia Pisanti, Marie-France Sagot	Further Thoughts on the Syntenic Distance between Genomes.	Algorithmica	2002	DBLP DOI BibTeX RDF
11	Somchai Chatvichienchai, Mizuho Iwaihara, Yahiko Kambayashi	Towards Translating Authorizations for Transformed XML Documents.	WISE	2002	DBLP DOI BibTeX RDF
11	Jayadev Misra	The Case against a Grand Unification Theory.	ICSR	2002	DBLP DOI BibTeX RDF
11	Michael Guntsch, Martin Middendorf	Applying Population Based ACO to Dynamic Optimization Problems.	Ant Algorithms	2002	DBLP DOI BibTeX RDF
11	Xiaotie Deng, Chan H. Lee, Yunlei Zhao, Hong Zhu 0004	(2+ f(n))-SAT and Its Properties.	COCOON	2002	DBLP DOI BibTeX RDF
11	Artem Alimarine, Marinus J. Plasmeijer	A Generic Programming Extension for Clean.	IFL	2001	DBLP DOI BibTeX RDF
11	Shazia W. Sadiq, Wasim Sadiq, Maria E. Orlowska	Pockets of Flexibility in Workflow Specification.	ER	2001	DBLP DOI BibTeX RDF
11	Laurent Perrussel, Pierre-Jean Charrel	Inconsistent Requirements: An Argumentation View.	ICTAI	2001	DBLP DOI BibTeX RDF	> Collaborative Software Agents, Search, Distributed AI, Distributed Constraint Satisfaction
11	Ulrik Brandes, Dorothea Wagner	A Linear Time Algorithm for the Arc Disjoint Menger Problem in Planar Directed Graphs.	Algorithmica	2000	DBLP DOI BibTeX RDF	Combinatorial optimization, Polyhedra, Branch-and-cut
11	Joonyoung Kim, Jesse Whittemore, Karem A. Sakallah, João P. Marques Silva	On Applying Incremental Satisfiability to Delay Fault Testing.	DATE	2000	DBLP DOI BibTeX RDF
11	Seppo Puuronen, Alexey Tsymbal, Iryna Skrypnyk	Advanced Local Feature Selection in Medical Diagnostics.	CBMS	2000	DBLP DOI BibTeX RDF	dynamic integration of classifiers, data mining, feature selection, decision trees, knowledge discovery, medical databases
11	Francesc Comellas, Margarida Mitjana, Lata Narayanan, Jaroslav Opatrny	Optical Routing of Uniform Instances in Tori.	MFCS	2000	DBLP DOI BibTeX RDF
11	Mehmet M. Dalkilic, Edward L. Robertson	Information Dependencies.	PODS	2000	DBLP DOI BibTeX RDF	Armstrong's Axioms, information dependency, entropy, functional dependency, multivalued dependency
11	Jack H. Lutz, Vikram Mhetre, Sridhar Srinivasan	Hard Instances of Hard Problems.	STACS	2000	DBLP DOI BibTeX RDF
11	Christopher League, Zhong Shao, Valery Trifonov	Representing Java Classes in a Typed Intermediate Language.	ICFP	1999	DBLP DOI BibTeX RDF
11	Pak K. Chan, Mark J. Boyd, Sezer Gören 0001, K. Klenk, V. Kodavati, R. Kundu, M. Margolese, J. Sun, Katsuharu Suzuki, E. Thorne, X. Wang, J. Xu, M. Zhu	Reducing Compilation Time of Zhong's FPGA-Based SAT Solver.	FCCM	1999	DBLP DOI BibTeX RDF
11	Zhe Wu 0002, Benjamin W. Wah	Solving Hard Satisfiability Problems: A Unified Algorithm Based on Discrete Lagrange Multipliers.	ICTAI	1999	DBLP DOI BibTeX RDF	DIMACS benchmarks, discrete Lagrange-multiplier method, first-order search procedure, satisfiability, traps
11	Hafedh Mili, Joumana Dargham, Omar Cherkaoui, Robert Godin, Ali Mili 0001	View Programming for Decentralized Development of OO Programs.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
11	Marco Platzner, Giovanni De Micheli	Acceleration of Satisfiability Algorithms by Reconfigurable Hardware.	FPL	1998	DBLP DOI BibTeX RDF
11	Marco Baioletti, Stefano Marcugini, Alfredo Milani	An Extension of SATPLAN for Planning with Constraints.	AIMSA	1998	DBLP DOI BibTeX RDF
11	Maria J. Serna, Fatos Xhafa	The Parallel Approximability of a Subclass of Quadratic Programming.	ICPADS	1997	DBLP DOI BibTeX RDF	Parallel Approximation Algorithms, De-randomization, Quadratic Programming, Randomized Rounding
11	Michael Halper, James Geller, Yehoshua Perl, Wolfgang Klas	Integrating a Part Relationship Into an Open OODB System Using Metaclasses.	CIKM	1994	DBLP DOI BibTeX RDF
11	Roel J. Wieringa, Wiebren de Jonge, Paul Spruit	Roles and Dynamic Subclasses: A Modal Logic Approach.	ECOOP	1994	DBLP DOI BibTeX RDF	OO analysis and design, formal methods, Theoretical foundations
11	Sharad Malik, Kanwar Jit Singh, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Performance optimization of pipelined logic circuits using peripheral retiming and resynthesis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
11	Svante Carlsson, Christos Levcopoulos, Ola Petersson	Sublinear Merging and Natural Merge Sort.	SIGAL International Symposium on Algorithms	1990	DBLP DOI BibTeX RDF
11	Mark Simpson	How usability testing can aid the development of online documentation.	SIGDOC	1990	DBLP DOI BibTeX RDF
11	Donald Beaver, Joan Feigenbaum, Victor Shoup	Hiding Instances in Zero-Knowledge Proof Systems (Extended Abstract).	CRYPTO	1990	DBLP DOI BibTeX RDF
11	I. Vandeweerd, Kris Croes, Luc Rijnders, Paul Six, Hugo De Man	REDUSA: Module Generation by Automatic Elimination of Superfluous Blocks in Regular Structures.	DAC	1989	DBLP DOI BibTeX RDF
11	Volkert Brosda, Gottfried Vossen	Update and Retrieval in a Relational Database Through a Universal Schema Interface.	ACM Trans. Database Syst.	1988	DBLP DOI BibTeX RDF
11	Andrew P. Witkin, Michael Kass	Spacetime constraints.	SIGGRAPH	1988	DBLP DOI BibTeX RDF	animation, constraints
11	Robert L. Sedlmeyer, Marc J. Lipman	Property computation in Grapple (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
11	Joan Feigenbaum	Encrypting Problem Instances: Or ..., Can You Take Advantage of Someone Without Having to Trust Him?	CRYPTO	1985	DBLP DOI BibTeX RDF
11	Edward P. F. Chan	Optimal Computation of Total Projections with Unions of Simple Chase Join Expressions.	SIGMOD Conference	1984	DBLP DOI BibTeX RDF
11	Sharon McCure Kuck, Yehoshua Sagiv	A Universal Relation Database System Implemented via the Network Model.	PODS	1982	DBLP DOI BibTeX RDF
11	Pentti Laasonen	On the Truncation Error of Discrete Approximations to the Solutions of Dirichlet Problems in a Domain with Corners.	J. ACM	1958	DBLP DOI BibTeX RDF
8	Huiyan Han, Wenjun Wang, Xie Han, Xiaowen Yang	6-DoF grasp pose estimation based on instance reconstruction.	Intell. Serv. Robotics	2024	DBLP DOI BibTeX RDF
8	Jie Yang, Diyin Tang, Jinsong Yu, Jian Zhang 0080, Haigang Liu	Explaining Anomalous Events in Flight Data of UAV With Deep Attention-Based Multi-Instance Learning.	IEEE Trans. Veh. Technol.	2024	DBLP DOI BibTeX RDF
8	William Mansky, Ke Du	An Iris Instance for Verifying CompCert C Programs.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
8	Jianan Zhang, Yongfei Wu, Fang Hao, Xueyu Liu, Ming Li, Daoxiang Zhou, Wen Zheng	Double similarities weighted multi-instance learning kernel and its application.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
8	Yike Hu, Jiajun Wang, Xiaoling Wang, Jia Yu, Jun Zhang	Efficient virtual-to-real dataset synthesis for amodal instance segmentation of occlusion-aware rockfill material gradation detection.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
8	Che Xu, Shuwen Zhang	A Genetic Algorithm-based sequential instance selection framework for ensemble learning.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
8	Rosario Delgado, Héctor Sánchez-Delgado	Multi-instance learning with application to the profiling of multi-victim homicides.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
8	Xiaoyu Li, Bei Yang, Tiandong Chen, Zheng Gao, Mengjie Huang	ProMIL: A weakly supervised multiple instance learning for whole slide image classification based on class proxy.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
8	Zhenbo Xu, Hai-Miao Hu, Liu Liu, Dongping Zhang, Shifeng Zhang, Wenming Tan	Instance-Based Continual Learning: A Real-World Dataset and Baseline for Fresh Recognition.	ACM Trans. Multim. Comput. Commun. Appl.	2024	DBLP DOI BibTeX RDF
8	Mukul Kadaskar, Nagamma Patil	ANet: Nuclei Instance Segmentation and Classification with Attention-Based Network.	SN Comput. Sci.	2024	DBLP DOI BibTeX RDF
8	Yiyue Li, Guangwu Qian, Xiaoshuang Jiang, Zekun Jiang, Wen Wen, Shaoting Zhang 0001, Kang Li 0004, Qicheng Lao	Hierarchical-Instance Contrastive Learning for Minority Detection on Imbalanced Medical Datasets.	IEEE Trans. Medical Imaging	2024	DBLP DOI BibTeX RDF
8	Qi Lai, Jianhang Zhou, Yanfen Gan, Chi-Man Vong, C. L. Philip Chen	Single-Stage Broad Multi-Instance Multi-Label Learning (BMIML) With Diverse Inter-Correlations and Its Application to Medical Image Classification.	IEEE Trans. Emerg. Top. Comput. Intell.	2024	DBLP DOI BibTeX RDF
8	Chenxing Xia, Wenjun Zhao, Huidan Han, Zhanpeng Tao, Bin Ge, Xiuju Gao, Kuan-Ching Li, Yan Zhang	MonoSAID: Monocular 3D Object Detection based on Scene-Level Adaptive Instance Depth Estimation.	J. Intell. Robotic Syst.	2024	DBLP DOI BibTeX RDF
8	Shangdong Zheng, Zebin Wu 0001, Yang Xu 0006, Zhihui Wei	Weakly Supervised Object Detection for Remote Sensing Images via Progressive Image-Level and Instance-Level Feature Refinement.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
8	Chen Yang 0001, Nan Zhang, Renchu Guan, Haishi Zhao	Mapping Cones on Mars in High-Resolution Planetary Images with Deep Learning-Based Instance Segmentation.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
8	Senlin Shu, Deng-Bao Wang, Suqin Yuan, Hongxin Wei, Jiuchuan Jiang, Lei Feng 0006, Min-Ling Zhang	Multiple-instance Learning from Triplet Comparison Bags.	ACM Trans. Knowl. Discov. Data	2024	DBLP DOI BibTeX RDF
8	Zhe Liu 0041, Sukumar Letchmunan	Enhanced Fuzzy Clustering for Incomplete Instance with Evidence Combination.	ACM Trans. Knowl. Discov. Data	2024	DBLP DOI BibTeX RDF
8	Yujie Ren, Bin Liu 0032, Shihai Wang	Joint Instance and Feature Adaptation for Heterogeneous Defect Prediction.	IEEE Trans. Reliab.	2024	DBLP DOI BibTeX RDF
8	Li Tan, Zikang Liu, Xiaokai Huang, Dongfang Li, Feifei Wang	A transformer-based UAV instance segmentation model TF-YOLOv7.	Signal Image Video Process.	2024	DBLP DOI BibTeX RDF
8	Mahesh Kumar Morampudi, Nagamani Gonthina, Sriramulu Bojjagani, Neeraj Kumar Sharma 0003, Duggineni Veeraiah	Reliable and privacy-preserving multi-instance iris verification using Paillier homomorphic encryption and one-digit checksum.	Signal Image Video Process.	2024	DBLP DOI BibTeX RDF
8	Cong Liu 0012, Ying Wang, Lijie Wen, Jiujun Cheng, Long Cheng 0003, Qingtian Zeng	Discovering Hierarchical Multi-Instance Business Processes From Event Logs.	IEEE Trans. Serv. Comput.	2024	DBLP DOI BibTeX RDF
8	Xuan Zhang, Yitian Xu, Xuhua Liu	Multiple instance learning from similarity-confidence bags.	Pattern Recognit.	2024	DBLP DOI BibTeX RDF
8	Moon Ye-Bin, Dongmin Choi, Yongjin Kwon, Junsik Kim 0001, Tae-Hyun Oh	ENInst: Enhancing weakly-supervised low-shot instance segmentation.	Pattern Recognit.	2024	DBLP DOI BibTeX RDF
8	Huu-Thanh Nguyen 0003, Yu Cao, Chong-Wah Ngo, Wing-Kwong Chan	FoodMask: Real-time food instance counting, segmentation and recognition.	Pattern Recognit.	2024	DBLP DOI BibTeX RDF
8	Xian Zhong, Xiyu Han, Xuemei Jia, Wenxin Huang, Wenxuan Liu, Shuaipeng Su, Xiaohan Yu 0001, Mang Ye	ICLR: Instance Credibility-Based Label Refinement for label noisy person re-identification.	Pattern Recognit.	2024	DBLP DOI BibTeX RDF