Search results for "consistent"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Ching-Shan Peng, Kwei-Jay Lin	A semantic-based concurrency control protocol for real-time transactions.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	semantic-based concurrency control protocol, logical data integrity, temporal data integrity, real-world events, sensor devices, consistent device readings, transaction serializability, transaction responsiveness, method compatibility matrix, consistency requirements, simulation, performance, real-time systems, predictability, data integrity, concurrency control, transaction processing, temporal databases, software performance evaluation, process control, access protocols, timeliness, real-time database systems, avionics, real-time transactions
15	J. Bey	Tetrahedral Grid Refinement.	Computing	1995	DBLP DOI BibTeX RDF	Tetrahedral grid refinement, stable refinements, consistent triangulations, green closure, grid coarsening
15	Yehuda Afek, Hagit Attiya, Danny Dolev, Eli Gafni, Michael Merritt, Nir Shavit	Atomic Snapshots of Shared Memory.	J. ACM	1993	DBLP DOI BibTeX RDF	consistent state, fault-tolerance, atomic, snapshot
15	Rakesh M. Verma	A Theory of Using History for Equational Systems with Applications (Extended Abstract)	FOCS	1991	DBLP DOI BibTeX RDF	translation scheme, equational systems, congruence closure based simplifier, consistent convergent systems, priority rewrite systems, normal forms
15	Che-Liang Yang, Gerald M. Masson	A Distributed Algorithm for Fault Diagnosis in Systems with Soft Failures.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	soft failures, fully distributed networks, faulty units, fault-free units, consistent diagnoses, system status, bounded fault situations, distributed algorithm, distributed algorithm, fault diagnosis, fault tolerant computing, distributed processing, fault location, system model, failure analysis
15	Riichiro Mizoguchi, Masamichi Shimura	An Approach to Unsupervised Learning Classification.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	Bayes' classification, consistent estimates, two category problem, pattern recognition, unsupervised learning, mixture distribution
14	Gabriel Cardona, Mercè Llabrés, Francesc Rosselló, Gabriel Valiente	Metrics for Phylogenetic Networks II: Nodal and Triplets Metrics.	IEEE ACM Trans. Comput. Biol. Bioinform.	2009	DBLP DOI BibTeX RDF	tree-child phylogenetic network, time consistency, partition distance, nodal distance, triplets distance, Phylogenetic network, temporal representation
14	Fei Hou, Yue Qi, Xukun Shen, Shen Yang, Qinping Zhao	Automatic registration of multiple range images based on cycle space.	Vis. Comput.	2009	DBLP DOI BibTeX RDF	Cycle space, Graph, Range image, Automatic registration
14	Ling Wei, Jian-Jun Qi, Wen-Xiu Zhang	Attribute reduction theory of concept lattice based on decision formal contexts.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	decision formal context, implication mapping, concept lattice, attribute reduction, discernibility matrix
14	Jaroslaw Byrka, Sylvain Guillemot, Jesper Jansson 0001	New Results on Optimizing Rooted Triplets Consistency.	ISAAC	2008	DBLP DOI BibTeX RDF
14	Sebastian Burckhardt, Madanlal Musuvathi	Effective Program Verification for Relaxed Memory Models.	CAV	2008	DBLP DOI BibTeX RDF
14	Pragyana Mishra, Eyal Ofek, Gur Kimchi	Validation of vector data using oblique images.	GIS	2008	DBLP DOI BibTeX RDF	multi-cue integration, oblique image analysis, pixel statistics, machine learning, computer vision, mapping, vector data, conflation
14	Fabrizio Angiulli	Condensed Nearest Neighbor Data Domain Description.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	data domain description, data condensation, classification, novelty detection, nearest neighbor rule
14	Dale Jacquette	Propositions, Sets, and Worlds.	Stud Logica	2006	DBLP DOI BibTeX RDF	Abstract entity, Jubien, Michael, logically possible world, modal actualism, modal (platonic) realism, ontological commitment, ontology, modal logic, set, proposition
14	Aurélien Garivier	Consistency of the Unlimited BIC Context Tree Estimator.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
14	Neeraj Mittal, Vijay K. Garg	Techniques and applications of computation slicing.	Distributed Comput.	2005	DBLP DOI BibTeX RDF	analyzing distributed computation, predicate control, global property evaluation, software fault tolerance, testing and debugging, predicate detection
14	Buquan Liu, Huaimin Wang, Yiping Yao	Data consistency in a large-scale runtime infrastructure.	WSC	2005	DBLP DOI BibTeX RDF
14	Manos Dramitinos, George D. Stamoulis, Costas Courcoubetis	Auction-Based Resource Reservation in 2.5/3G Networks.	Mob. Networks Appl.	2004	DBLP DOI BibTeX RDF	efficiency, auction, UMTS, utility, resource reservation
14	Rossano Barone, Peter C.-H. Cheng	Interpreting Lines in Graphs: Do Graph Users Construe Fictive Motion?.	Diagrams	2004	DBLP DOI BibTeX RDF
14	Zongtian Liu, Liansheng Li, Qing Zhang	Research on a Union Algorithm of Multiple Concept Lattices.	RSFDGrC	2003	DBLP DOI BibTeX RDF	Multiple concept lattices, Union operation of concept lattices, Union algorithm of concept lattices, Formal Concept Analysis
14	Neeraj Mittal, Vijay K. Garg	Computation Slicing: Techniques and Theory.	DISC	2001	DBLP DOI BibTeX RDF
14	Sebastian Link	Consistency Enforcement in Databases.	Semantics in Databases	2001	DBLP DOI BibTeX RDF
14	Baolin Yin, Yu Tao	Vowel Recognition for Speaker Independent Chinese Speech Recognition.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF
14	Xinxin Liu 0008, David Walker 0008	A Polymorphic Type System for the Polyadic pi-calculus.	CONCUR	1995	DBLP DOI BibTeX RDF
14	Michel Raynal, André Schiper	From Causal Consistency to Sequential Consistency in Shared Memory Systems.	FSTTCS	1995	DBLP DOI BibTeX RDF
14	Daniel P. Huttenlocher, Todd A. Cass	Measuring the Quality of Hypotheses in Model-Based Recognition.	ECCV	1992	DBLP DOI BibTeX RDF
12	Hongbo Zhou 0001, Qiang Cheng, Zhikun She	Reparameterization based consistent graph-structured linear programs.	SAC	2010	DBLP DOI BibTeX RDF	MAP optimality, linear program, Markov random field
12	Ryan Cochran, Sherief Reda	Consistent runtime thermal prediction and control through workload phase detection.	DAC	2010	DBLP DOI BibTeX RDF	proactive control, thermal prediction, thermal sensing, workload phase, DVFS, multicore systems
12		Consistent Facts.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
12	Ramsés Morales, Indranil Gupta	AVMON: Optimal and Scalable Discovery of Consistent Availability Monitoring Overlays for Distributed Systems.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
12	Xin Li 0003, Xianfeng Gu, Hong Qin 0001	Surface Mapping Using Consistent Pants Decomposition.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
12	Guofeng Zhang 0001, Jiaya Jia, Tien-Tsin Wong, Hujun Bao	Consistent Depth Maps Recovery from a Video Sequence.	IEEE Trans. Pattern Anal. Mach. Intell.	2009	DBLP DOI BibTeX RDF
12	Xian Wang 0002, Pingzhi Fan	A strongly consistent cached data access algorithm for wireless data networks.	Wirel. Networks	2009	DBLP DOI BibTeX RDF	Cache access, Communication cost, Wireless data networks, Strong consistency, Access delay
12	Peter Broström, Kaj Holmberg	Design of OSPF networks using subpath consistent routing patterns.	Telecommun. Syst.	2009	DBLP DOI BibTeX RDF	Subpath consistency, Internet protocol, Network design, OSPF, Lagrangean relaxation
12	Zachary A. Pezzementi, Sandrine Voros, Gregory D. Hager	Articulated object tracking by rendering consistent appearance parts.	ICRA	2009	DBLP DOI BibTeX RDF
12	Hrishikesh B. Acharya, Ehab S. Elmallah, Mohamed G. Gouda	Brief Announcement: Consistent Fixed Points and Negative Gain.	SSS	2009	DBLP DOI BibTeX RDF
12	Hidehito Kobayashi, Tomomichi Sugihara	Self-consistent automatic navigation of COM and feet for realtime humanoid robot steering.	IROS	2009	DBLP DOI BibTeX RDF
12	Daisuke Horie, Toshio Kasahara, Yuichi Goto, Jingde Cheng	A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
12	Johann Prankl, Martin Antenreiter, Peter Auer, Markus Vincze	Consistent Interpretation of Image Sequences to Improve Object Models on the Fly.	ICVS	2009	DBLP DOI BibTeX RDF
12	Jan Stender	Efficient Management of Consistent Backups in a Distributed File System.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
12	Zijing Tan, Chengfei Liu, Wei Wang 0009, Baile Shi	Consistent Answers from Integrated XML Data.	DASFAA	2009	DBLP DOI BibTeX RDF
12	Douglas Wikström	A Commitment-Consistent Proof of a Shuffle.	ACISP	2009	DBLP DOI BibTeX RDF
12	Zhigang Deng, Qin Gu, Qing Li 0008	Perceptually consistent example-based human motion retrieval.	SI3D	2009	DBLP DOI BibTeX RDF	hierarchical human motion representation, motion pattern extraction, motion retrieval, perceptual consistency, motion capture, character animation
12	Marios Mavronicolas, Michael Merritt, Gadi Taubenfeld	Sequentially consistent versus linearizable counting networks.	Distributed Comput.	2008	DBLP DOI BibTeX RDF	Balancing networks, Inconsistency fractions, Sequential consistency, Linearizability, Counting networks
12	Michael K. Reiter, Asad Samar	Quiver: Consistent and Scalable Object Sharing for Edge Services.	IEEE Trans. Parallel Distributed Syst.	2008	DBLP DOI BibTeX RDF	Migration, Serializability, Edge services
12	Simone Calderara, Rita Cucchiara, Andrea Prati 0001	Bayesian-Competitive Consistent Labeling for People Surveillance.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF	Computer vision, Tracking, Motion
12	Isaac Rosenhouse, Anthony J. Weiss	Consistent Estimation of Symmetric Tent Chaotic Sequences With Coded Itineraries.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
12	Dominic Schuhmacher, Ba-Tuong Vo, Ba-Ngu Vo	A Consistent Metric for Performance Evaluation of Multi-Object Filters.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
12	Aurélien Bourquard, Philippe Thévenaz, Katarina Balac, Michael Unser	Consistent and regularized magnification of images.	ICIP	2008	DBLP DOI BibTeX RDF
12	Robert Krauthgamer, Tim Roughgarden	Metric clustering via consistent labeling.	SODA	2008	DBLP BibTeX RDF
12	Marco Bernardo 0001	Towards State Space Reduction Based on T-Lumpability-Consistent Relations.	EPEW	2008	DBLP DOI BibTeX RDF
12	Bilal Khan, Shaleeza Sohail	Using ES Based Automated Software Clustering Approach to Achieve Consistent Decompositions.	APSEC	2008	DBLP DOI BibTeX RDF
12	Brent Rossen, Kyle Johnsen, Adeline Deladisma, D. Scott Lind, Benjamin Lok	Virtual Humans Elicit Skin-Tone Bias Consistent with Real-World Skin-Tone Biases.	IVA	2008	DBLP DOI BibTeX RDF	racial bias, virtual reality, user interfaces, computer graphics, intelligent agents, Virtual humans, human-centered computing, medicine
12	Sami S. Brandt	Consistent and efficient sampler for geometric computation.	ICPR	2008	DBLP DOI BibTeX RDF
12	Yohji Shidara, Mineichi Kudo, Atsuyoshi Nakamura	Classification by bagged consistent itemset rules.	ICPR	2008	DBLP DOI BibTeX RDF
12	Janet L. Kourik, Peter E. Maher	Establishing a Consistent Curriculum in a Distributed Campus Environment: Lessons Learned while Moving Towards Accreditation.	ITNG	2008	DBLP DOI BibTeX RDF	Education, Distributed, Assessment, Curriculum, Accreditation
12	Ruini Xue, Wenguang Chen, Weimin Zheng	CprFS: a user-level file system to support consistent file states for checkpoint and restart.	ICS	2008	DBLP DOI BibTeX RDF	checkpoint and restart, file checkpointing, fault tolerance, parallel computing
12	Fabio Cuzzolin	On the Credal Structure of Consistent Probabilities.	JELIA	2008	DBLP DOI BibTeX RDF
12	Ricardo Jiménez-Peris, Marta Patiño-Martínez, Bettina Kemme, Francisco Perez-Sorrosal, Damián Serrano	A System of Architectural Patterns for Scalable, Consistent and Highly Available Multi-Tier Service-Oriented Infrastructures.	WADS	2008	DBLP DOI BibTeX RDF
12	Xin Li 0003, Xianfeng Gu, Hong Qin 0001	Surface matching using consistent pants decomposition.	Symposium on Solid and Physical Modeling	2008	DBLP DOI BibTeX RDF	shape analysis and synthesis, surface matching
12	Francis R. Bach	Bolasso: model consistent Lasso estimation through the bootstrap.	ICML	2008	DBLP DOI BibTeX RDF
12	Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange	Consistent Integration of Models Based on Views of Visual Languages.	FASE	2008	DBLP DOI BibTeX RDF
12	Song Jiang 0001, Kei Davis, Xiaodong Zhang 0001	Coordinated Multilevel Buffer Cache Management with Consistent Access Locality Quantification.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	multilevel caching, locality, Replacement algorithm, networked file system
12	Nicolas Papadakis, Thomas Corpetti, Étienne Mémin	Dynamically consistent optical flow estimation.	ICCV	2007	DBLP DOI BibTeX RDF
12	Andrea Frome, Yoram Singer, Fei Sha, Jitendra Malik	Learning Globally-Consistent Local Distance Functions for Shape-Based Image Retrieval and Classification.	ICCV	2007	DBLP DOI BibTeX RDF
12	E. Scott Larsen, Philippos Mordohai, Marc Pollefeys, Henry Fuchs	Temporally Consistent Reconstruction from Multiple Video Streams Using Enhanced Belief Propagation.	ICCV	2007	DBLP DOI BibTeX RDF
12	Jinhui Tang 0001, Xian-Sheng Hua 0001, Tao Mei 0001, Guo-Jun Qi, Shipeng Li 0001, Xiuqing Wu	Temporally Consistent Gaussian Random Field for Video Semantic Analysis.	ICIP (4)	2007	DBLP DOI BibTeX RDF
12	Arturo Berrones	Generating Random Deviates Consistent with the Long Term Behavior of Stochastic Search Processes in Global Optimization.	IWANN	2007	DBLP DOI BibTeX RDF	global optimization, stochastic search, statistical physics
12	Esha D. Nerurkar, Stergios I. Roumeliotis	Power-SLAM: A linear-complexity, consistent algorithm for SLAM.	IROS	2007	DBLP DOI BibTeX RDF
12	Ru-Jen Chao, Yueh-Hsiang Chen	Evaluation of e-learning Material Design with Consistent Fuzzy Preference Relations.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
12	Yueh-Hsiang Chen, Ru-Jen Chao	Applying Consistent Fuzzy Linguistic Preference Relations to Evaluation of E-Learning Material Design.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
12	Friedhelm R. Drepper	Non-stationary Self-consistent Acoustic Objects as Atoms of Voiced Speech.	NOLISP	2007	DBLP DOI BibTeX RDF	instantaneous part-tone frequencies, fundamental drive, cascaded response, generalized synchro nization, voiced continuants, signal analysis
12	Saeyoung Han, Sungyong Park	Adapting Superpeer Size Using Particle Swam Optimization for Self-Organizing Superpeer Ring with Loosely Consistent DHT.	CIT	2007	DBLP DOI BibTeX RDF
12	Pedro Canotilho Ribeiro, Plinio Moreno, José Santos-Victor	Boosting with Temporal Consistent Learners: An Application to Human Activity Recognition.	ISVC (1)	2007	DBLP DOI BibTeX RDF
12	Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden	Developing Consistent Contractual Policies in Service Composition.	APSCC	2007	DBLP DOI BibTeX RDF
12	Yohji Shidara, Atsuyoshi Nakamura, Mineichi Kudo	CCIC: Consistent Common Itemsets Classifier.	MLDM	2007	DBLP DOI BibTeX RDF
12	Jing Liu 0001, Zhiwei Li 0006, Mingjing Li, Hanqing Lu, Songde Ma	Human behaviour consistent relevance feedback model for image retrieval.	ACM Multimedia	2007	DBLP DOI BibTeX RDF	graph ranking, image retrieval, relevance feedback
12	Qin Yin, Hao Hu 0001, Jun Li 0022, Jian Lu 0001	A Middleware Approach for Behavior Consistent Composition of Services in Smart Space.	SOCA	2007	DBLP DOI BibTeX RDF
12	Nikolas Paries, Patrick Degener, Reinhard Klein	Simple and Efficient Mesh Editing with Consistent Local Frames.	PG	2007	DBLP DOI BibTeX RDF
12	Nathan Jacobs, Nathaniel Roman, Robert Pless	Consistent Temporal Variations in Many Outdoor Scenes.	CVPR	2007	DBLP DOI BibTeX RDF
12	Jan Chomicki	Consistent Query Answering: Five Easy Pieces.	ICDT	2007	DBLP DOI BibTeX RDF
12	Janusz Borkowski, Marek Tudruj	Parallel Irregular Computations with Dynamic Load Balancing through Global Consistent State Monitoring.	PPAM	2007	DBLP DOI BibTeX RDF
12	Bin Sheng 0001, Enhua Wu	Topology-Consistent Design for 3D Freeform Meshes with Harmonic Interpolation.	ICEC	2007	DBLP DOI BibTeX RDF
12	Jean-Philippe Pons, Florent Ségonne, Jean-Daniel Boissonnat, Laurent Rineau, Mariette Yvinec, Renaud Keriven	High-Quality Consistent Meshing of Multi-label Datasets.	IPMI	2007	DBLP DOI BibTeX RDF
12	Geoffrey Koh, Lisa Tucker-Kellogg, David Hsu, P. S. Thiagarajan	Composing Globally Consistent Pathway Parameter Estimates Through Belief Propagation.	WABI	2007	DBLP DOI BibTeX RDF
12	Xin Chen 0027, Zhiming Liu 0001, Vladimir Mencl	Separation of Concerns and Consistent Integration in Requirements Modelling.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
12	Ralph Niels, Louis Vuurpijl	Generating Copybooks from Consistent Handwriting Styles.	ICDAR	2007	DBLP DOI BibTeX RDF
12	Haiyang Sun, Jian Yang 0001	BTx-Net: A Token Based Dynamic Model for Supporting Consistent Collaborative Business Transactions.	IEEE SCC	2007	DBLP DOI BibTeX RDF
12	Guido Rotondi, Gianpiero Guerrera	A consistent history authentication protocol.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	dentification, authentication, trust, non repudiation, SSL
12	Kai-Sheng Song	A globally convergent and consistent method for estimating the shape parameter of a generalized Gaussian distribution.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
12	Kwok-Wa Lam, Victor C. S. Lee	On Consistent Reading of Entire Databases.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	concurrency control, transaction processing, serializability, Data consistency
12	Ionut D. Aron, Daniel H. Leventhal, Meinolf Sellmann	A Totally Unimodular Description of the Consistent Value Polytope for Binary Constraint Programming.	CPAIOR	2006	DBLP DOI BibTeX RDF	mathematical programming, hybrid methods, Cost-based filtering
12	Yiu-Pong Lai, Man-Hung Siu	Consistent Modeling of the Static and Time-Derivative Cepstrums for Speech Recognition Using HSPTM.	ISCSLP	2006	DBLP DOI BibTeX RDF
12	Bin Gao 0001, Tie-Yan Liu, Wei-Ying Ma	Star-Structured High-Order Heterogeneous Data Co-clustering Based on Consistent Information Theory.	ICDM	2006	DBLP DOI BibTeX RDF
12	Jeonghoon Kang, Junejae Yoo, Myunghyun Yoon, Alec Woo	An eventual consistent wireless light control system.	SenSys	2006	DBLP DOI BibTeX RDF	wireless building light control, eventual consistency
12	Antti-Pekka Liedes, Antoni Wolski	SIREN: A Memory-Conserving, Snapshot-Consistent Checkpoint Algorithm for in-Memory Databases.	ICDE	2006	DBLP DOI BibTeX RDF
12	Utkarsh Srivastava, Peter J. Haas, Volker Markl, Marcel Kutsch, Tam Minh Tran	ISOMER: Consistent Histogram Construction Using Query Feedback.	ICDE	2006	DBLP DOI BibTeX RDF
12	Toshimitsu Hishinuma, Dragomir N. Nenchev	Singularity-Consistent Vibration Suppression Control With a Redundant Manipulator Mounted on a Flexible Base.	IROS	2006	DBLP DOI BibTeX RDF
12	Kentaro Takahashi, M. Noda, Dragomir N. Nenchev, Yuichi Tsumaki, Akinori Sekiguchi	Static Walk of a Humanoid Robot Based on the Singularity-Consistent Method.	IROS	2006	DBLP DOI BibTeX RDF
12	Motilal Agrawal	A Lie Algebraic Approach for Consistent Pose Registration for General Euclidean Motion.	IROS	2006	DBLP DOI BibTeX RDF