Search results for "Condition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Vijay Pitchumani, Edward P. Stabler	An Inductive Assertion Method for Register Transfer Level Design Verification.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	inductive assertion method, synchronous logic, theorem proving, Assertions, predicate calculus, register transfer level design, verification condition
12	R. R. Klimpel	Algorithm 348: matrix scaling by integer programming [F1].	Commun. ACM	1969	DBLP DOI BibTeX RDF	matrix condition, matrix scaling, integer programming, linear algebra, mathematical programming
11	Frédéric Vogels, Bart Jacobs 0002, Frank Piessens	A machine-checked soundness proof for an efficient verification condition generator.	SAC	2010	DBLP DOI BibTeX RDF	soundness proof, verification conditions
11		Event-Condition-Action Rules.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
11		Condition Event Nets.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
11	Ho Young Hwang 0001, Jae Kyun Kwon, Jin Woo Yang, Dan Keun Sung	Goodput analysis of a WLAN with hidden nodes under a non-saturated condition.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
11	Carlos Beltrán 0001, Michael Shub	Complexity of Bezout's Theorem VII: Distance Estimates in the Condition Metric.	Found. Comput. Math.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 65H10, 65H20
11	Alexander J. Zaslavski	A sufficient condition for exact penalty functions.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Clarke’s generalized gradient, Ekeland’s variational principle, Critical point, Penalty function, Approximate solution, Minimization problem
11	Dezhong Peng, Yong Xiang 0001	Underdetermined Blind Source Separation Based on Relaxed Sparsity Condition of Sources.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
11	Changshe Ma, Yingjiu Li, Robert H. Deng, Tieyan Li	RFID privacy: relation between two notions, minimal condition, and efficient construction.	CCS	2009	DBLP DOI BibTeX RDF	privacy, rfid, pseudorandom function
11	Randy S. Tolentino, Kijeong Lee, Yoon-Su Jeong, Yong-Tae Kim, Sang Ho Lee 0002, Gil-Cheol Park	Design of sensor web condition using SMSC.	ICHIT	2009	DBLP DOI BibTeX RDF	ZigBee communication module, data coordinator, relay router, sensor, WPAN
11	Yongming Huang, Xindong Wu 0001, Xuegang Hu, Fei Xie, Jun Gao 0006, Gong-Qing Wu	Mining Frequent Patterns with Gaps and One-Off Condition.	CSE (1)	2009	DBLP DOI BibTeX RDF
11	Damien Imbs, José Ramón González de Mendívil, Michel Raynal	Brief announcement: virtual world consistency: a new condition for STM systems.	PODC	2009	DBLP DOI BibTeX RDF	concurrency, transactional memory
11	Bastien Maubert, Sophie Pinchinat	Games with Opacity Condition.	RP	2009	DBLP DOI BibTeX RDF
11	Yannick Le Bras, Philippe Lenca, Stéphane Lallich	On Optimal Rule Mining: A Framework and a Necessary and Sufficient Condition of Antimonotonicity.	PAKDD	2009	DBLP DOI BibTeX RDF	nuggets, optimal rules, algorithms, Association rules, redundance, pruning, analytic
11	Cristina De Ambrosi, Cristiano Ghersi, Armando Tacchella	An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles.	IEA/AIE	2009	DBLP DOI BibTeX RDF	Ontology-driven information systems design, Domain-specific ontologies, Knowledge management
11	Tae Ok Kim, Jin Soo Park, Kyung Jae Kim, Bong Dae Choi	Performance Analysis of IEEE 802.15.4 Non-beacon Mode with Both Uplink and Downlink Traffic in Non-saturated Condition.	MOBILIGHT	2009	DBLP DOI BibTeX RDF	performance analysis, Markov Chain, IEEE 802.15.4, CSMA/CA, Medium Access Control(MAC) protocol
11	Jung Gap Kuk, Nam Ik Cho	Feature Based Binarization of Document Images Degraded by Uneven Light Condition.	ICDAR	2009	DBLP DOI BibTeX RDF
11	Qianjin Guo, Haibin Yu, Jingtao Hu, Aidong Xu	A method for condition monitoring and fault diagnosis in electromechanical system.	Neural Comput. Appl.	2008	DBLP DOI BibTeX RDF	Electrical machines, Kernel independent component analysis, Kernel trick, Gaussian chirplet distributions, Fault diagnosis, Self-organizing map
11	Yogender Aggarwal, Bhuwan Mohan Karan, Barda Nand Das, Rakesh Kumar Sinha	Prediction of Heat-Illness Symptoms with the Prediction of Human Vascular Response in Hot Environment Under Resting Condition.	J. Medical Syst.	2008	DBLP DOI BibTeX RDF	Environmental temperature, Forearm blood flow, Physiological variables, Skin blood flow, Vascular responses
11	K. P. Zhu, Yoke San Wong, Geok Soon Hong	Noise-Robust Tool Condition Monitoring in Micro-milling with Hidden Markov Models.	Soft Computing Applications in Industry	2008	DBLP DOI BibTeX RDF
11	Hiroshi Tsunoda, Kenjirou Arai, Yuji Waizumi, Nirwan Ansari, Yoshiaki Nemoto	Detecting Pulsing Denial-of-Service Attacks Based on the Bandwidth Usage Condition.	ICC	2008	DBLP DOI BibTeX RDF
11	Tony Potas, Anthony Jones 0001	Ethics, Equality and Inclusion for Students with a Chronic Health Condition.	Learning to Live in the Knowledge Society	2008	DBLP DOI BibTeX RDF
11	Jenni Johanna Hulkkonen, Jukka Veikko Heikkonen	A minimum description length principle based method for signal change detection in machine condition monitoring.	ICPR	2008	DBLP DOI BibTeX RDF
11	Hiroshi Ito 0001, Pierdomenico Pepe, Zhong-Ping Jiang	A small-gain condition for integral input-to-state stability of interconnected retarded nonlinear systems.	CDC	2008	DBLP DOI BibTeX RDF
11	Ahmadreza Momeni, Amir G. Aghdam	A necessary and sufficient condition for stabilization of decentralized time-delay systems with commensurate delays.	CDC	2008	DBLP DOI BibTeX RDF
11	Simone Paoletti, Andrea Garulli, Jacob Roll, Antonio Vicino	A necessary and sufficient condition for input-output realization of switched affine state space models.	CDC	2008	DBLP DOI BibTeX RDF
11	Damian Slota	Application of the Variational Iteration Method for Inverse Stefan Problem with Neumann's Boundary Condition.	ICCS (1)	2008	DBLP DOI BibTeX RDF	Inverse Stefan problem, Variational iteration method, Solidification, Heat equation
11	Lode Vanacken, Joan De Boeck, Chris Raymaekers, Karin Coninx	An Event-Condition-Action Approach for Contextual Interaction in Virtual Environments.	TAMODIA/HCSE	2008	DBLP DOI BibTeX RDF	Multimodal Interaction Techniques, Context-Awareness, Model-Based User Interface Design
11	Minh-Triet Tran, Trung Thanh Nguyen 0005, Isao Echizen	Pool-Based APROB Channel to Provide Resistance against Global Active Adversary under Probabilistic Real-Time Condition.	EUC (2)	2008	DBLP DOI BibTeX RDF
11	Grigory Shishkin	Improved Difference Scheme for a Singularly Perturbed Parabolic Reaction-Diffusion Equation with Discontinuous Initial Condition.	NAA	2008	DBLP DOI BibTeX RDF
11	Tomás Neustupa	Question of Existence and Uniqueness of Solution for Navier-Stokes Equation with Linear "Do-Nothing" Type Boundary Condition on the Outflow.	NAA	2008	DBLP DOI BibTeX RDF
11	Hyung Joo Ki, Bum-Gon Choi, Tae-Jin Lee 0001, Min Young Chung	Fast backoff counter reduction algorithm to enhance the binary negative-exponential backoff algorithm in heterogeneous condition.	ICUIMC	2008	DBLP DOI BibTeX RDF	BNEB, EGDCF, FBCR, WLAN, DCF
11	Mario Ventresca, Hamid R. Tizhoosh	Numerical condition of feedforward networks with opposite transfer functions.	IJCNN	2008	DBLP DOI BibTeX RDF
11	Augustin Chaintreau	Sharpness: A Tight Condition for Scalability.	SIROCCO	2008	DBLP DOI BibTeX RDF
11	Haibo Wu, Ping Jiang 0001, Jin Zhu	An Illumination Compensation Method for Images under Variable Lighting Condition.	RAM	2008	DBLP DOI BibTeX RDF
11	Carlos Beltrán 0001, Luis Miguel Pardo	Estimates on the Distribution of the Condition Number of Singular Matrices.	Found. Comput. Math.	2007	DBLP DOI BibTeX RDF
11	Sze-jung Wu, Nagi Gebraeel, Mark A. Lawley, Yuehwern Yih	A Neural Network Integrated Decision Support System for Condition-Based Optimal Predictive Maintenance Policy.	IEEE Trans. Syst. Man Cybern. Part A	2007	DBLP DOI BibTeX RDF
11	Michael Kohler, Adam Krzyzak	On the Rate of Convergence of Local Averaging Plug-In Classification Rules Under a Margin Condition.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
11	Jeong-Mo Hong, Tamar Shinar, Myungjoo Kang, Ronald Fedkiw	On Boundary Condition Capturing for Multiphase Interfaces.	J. Sci. Comput.	2007	DBLP DOI BibTeX RDF	Multiphase flow, interfaces, two-phase flow
11	Hideaki Sakai, Jun-Mei Yang, Tetsuo Oka	Exact Convergence Analysis of Adaptive Filter Algorithms Without the Persistently Exciting Condition.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
11	Benjamin Grégoire, Jorge Luis Sacchini	Combining a Verification Condition Generator for a Bytecode Language with Static Analyses.	TGC	2007	DBLP DOI BibTeX RDF
11	Tomomichi Sugihara, Yoshihiko Nakamura	Enhancement of boundary condition relaxation method for 3D hopping motion planning of biped robots.	IROS	2007	DBLP DOI BibTeX RDF
11	Aurobinda Routray, Kanungo Barada Mohanty	A Fast Edge Detection Algorithm for Road Boundary Extraction under Non-uniform Light Condition.	ICIT	2007	DBLP DOI BibTeX RDF
11	Tomoki Hodokuma, Naru Hirata, Hirohide Demura, Noriaki Asada	Influence of Imaging Condition on Matching Point Detection.	CIT	2007	DBLP DOI BibTeX RDF
11	Toshio Sumi, Toshio Sakata	A Sufficient Condition for the Unique Solution of Non-Negative Tensor Factorization.	ICA	2007	DBLP DOI BibTeX RDF
11	Zhongdi Cen, Xin Cai	A Second-Order Upwind Difference Scheme for a Singularly Perturbed Problem with Integral Boundary Condition in Netural Network.	KES (2)	2007	DBLP DOI BibTeX RDF	upwind difference scheme, Shishkin mesh, Singular perturbation, uniform convergence
11	Gareth Howells 0001, Bob Howlett, Klaus D. McDonald-Maier	TRICODA - Complex Data Analysis and Condition Monitoring based onv Neural Network Model.	AHS	2007	DBLP DOI BibTeX RDF
11	Jiann-Der Lee, Yu-Chi Chen, Li-Chang Liu, Chung-Hsien Huang	A Facial-Skin Condition Classification System Using Texture and Fuzzy C-Means Technologies.	FSKD (4)	2007	DBLP DOI BibTeX RDF
11	Joaquín Pérez Ortega, Rodolfo A. Pazos Rangel, Laura Cruz Reyes, Gerardo Reyes Salgado, Rosy Basave T., Héctor J. Fraire H.	Improving the Efficiency and Efficacy of the K-means Clustering Algorithm Through a New Convergence Condition.	ICCSA (3)	2007	DBLP DOI BibTeX RDF
11	José Neves 0001, José Machado 0001, Cesar Analide, António Abelha, Luís Brito	The Halt Condition in Genetic Programming.	EPIA Workshops	2007	DBLP DOI BibTeX RDF	Computational Creativity, Genetic or Evolutionary Programming, Extended Logic Programming, Quality-of-Information, Conceptual Blending Theory
11	Van H. Vu, Terence Tao	The condition number of a randomly perturbed matrix.	STOC	2007	DBLP DOI BibTeX RDF	singular values
11	Jun Wang, Jun Wu	Cutset Condition for Geometric Lattices.	Order	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 06C15
11	Yun S. Song	A Concise Necessary and Sufficient Condition for the Existence of a Galled-Tree.	IEEE ACM Trans. Comput. Biol. Bioinform.	2006	DBLP DOI BibTeX RDF	Galled-trees, quadpartition, incompatibility, recombination
11	John Matthews, J Strother Moore, Sandip Ray, Daron Vroon 0001	Verification Condition Generation Via Theorem Proving.	LPAR	2006	DBLP DOI BibTeX RDF
11	Thomas P. Hayes	A simple condition implying rapid mixing of single-site dynamics on spin systems.	FOCS	2006	DBLP DOI BibTeX RDF
11	Shiqi Yu 0001, Daoliang Tan, Tieniu Tan	A Framework for Evaluating the Effect of View Angle, Clothing and Carrying Condition on Gait Recognition.	ICPR (4)	2006	DBLP DOI BibTeX RDF
11	Kenji Kataoka, Kazuhiko Suzuki, Hossam A. Gabbar	Implementation of Operator Support System Using Dynamic Simulator for Abnormal Plant Condition.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
11	Raimondas Ciegis	Parallel LOD Scheme for 3D Parabolic Problem with Nonlocal Boundary Condition.	Euro-Par	2006	DBLP DOI BibTeX RDF
11	Li-qun Zhou, Guang-Da Hu	A New Sufficient Condition on the Complete Stability of a Class Cellular Neural Networks.	ISNN (1)	2006	DBLP DOI BibTeX RDF
11	Jia-Wei Chen, Chun-Hao Chang, Chien-Chang Lin, Yi-Huan Yang, Jiun-In Guo, Jinn-Shyan Wang	A Condition-based Intra Prediction Algorithm for H.264/AVC.	ICME	2006	DBLP DOI BibTeX RDF
11	Norikazu Takahashi, Tetsuo Nishi	A sufficient condition for 1D CNNs with antisymmetric templates to perform connected component detection.	ISCAS	2006	DBLP DOI BibTeX RDF
11	Emrah Acar, Peter Feldmann	Simulation of SOI transistor circuits through non-equilibrium initial condition analysis (NEICA).	ISCAS	2006	DBLP DOI BibTeX RDF
11	O-Hoon Choi, Jung-Eun Lim, Hong-Seok Na, Doo-Kwon Baik	Modeling of Situation-Middleware for TPO metadata based on Event-Condition-Action Rule.	SERA	2006	DBLP DOI BibTeX RDF
11	José Júlio Alferes, Federico Banti, Antonio Brogi	An Event-Condition-Action Logic Programming Language.	JELIA	2006	DBLP DOI BibTeX RDF
11	Guillaume Lecué	Optimal Oracle Inequality for Aggregation of Classifiers Under Low Noise Condition.	COLT	2006	DBLP DOI BibTeX RDF
11	Alexandra Poulovassilis, George Papamarkos, Peter T. Wood	Event-Condition-Action Rule Languages for the Semantic Web.	EDBT Workshops	2006	DBLP DOI BibTeX RDF
11	Francisco Poza, Perfecto Mariño, Santiago Otero, Fernando Machado	Virtual Instrument for Condition Monitoring of On-Load Tap Change.	DELTA	2006	DBLP DOI BibTeX RDF
11	Kyong Joo Oh, Tae Yoon Kim, Chiho Kim, Suk Jun Lee	Using Neural Networks to Tune the Fluctuation of Daily Financial Condition Indicator for Financial Crisis Forecasting.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF
11	Byung-Heon Kang, Jun-Cheol Jeon, Kee-Young Yoo	Decision Algorithms for Cellular Automata States Based on Periodic Boundary Condition.	ACRI	2006	DBLP DOI BibTeX RDF
11	Ernest Yat-Kwan Wong	How to leverage computer simulation in condition-based maintenance.	WSC	2005	DBLP BibTeX RDF
11	Junyan Yang, Youyun Zhang	Application Research of Support Vector Machines in Condition Trend Prediction of Mechanical Equipment.	ISNN (3)	2005	DBLP DOI BibTeX RDF
11	Zhousuo Zhang, Qiao Hu, Zhengjia He	Fuzzy Support Vector Machine and Its Application to Mechanical Condition Monitoring.	ISNN (1)	2005	DBLP DOI BibTeX RDF
11	Huaxun He, Shuyuan Zhang	Phillips curve's study under the new economic condition.	ICEC	2005	DBLP DOI BibTeX RDF	new economy, philips curve, business cycle
11	Robert J. Howlett, Gary Dawe, Terry Nowell	Condition Monitoring Capability Developed Through a Knowledge Transfer Partnership Between a Small Company and a University.	KES (3)	2005	DBLP DOI BibTeX RDF
11	Radoslaw Grzymkowski, Damian Slota	An Application of the Adomian Decomposition Method for Inverse Stefan Problem with Neumann's Boundary Condition.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
11	Hau-Jie Liang, Shuenn-Shyang Wang	Architectural design of fractal image coder based on kick-out condition.	ISCAS (2)	2005	DBLP DOI BibTeX RDF
11	W. Amer, Qaisar Ahsan, Roger I. Grosvenor, Paul W. Prickett	Machine tool condition monitoring system using tooth rotation energy estimation (TREE) technique.	ETFA	2005	DBLP DOI BibTeX RDF
11	Lili Pan 0002, Junyi Li, Beiji Zou, Hao Chen	Bi-Objective Model for Test-Suite Reduction Based on Modified Condition/Decision Coverage.	PRDC	2005	DBLP DOI BibTeX RDF
11	Shih-Hsu Huang, Yow-Tyng Nieh, Feng-Pin Lu	Race-condition-aware clock skew scheduling.	DAC	2005	DBLP DOI BibTeX RDF	sequential circuits, high performance, timing optimization
11	I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen	Building Verification Condition Generators by Compositional Extensions.	SEFM	2005	DBLP DOI BibTeX RDF	modular verification, verification tool, verification technique
11	Chijian Zhang, Lin Zhang	Order relation is the necessary condition of success of fuzzy control system.	GrC	2005	DBLP DOI BibTeX RDF
11	Hong Yan 0001	Convergence condition and efficient implementation of the fuzzy curve-tracing (FCT) algorithm.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
11	Jesper Jansson 0001, Takeshi Tokuyama	Semi-Balanced Colorings of Graphs: Generalized 2-Colorings Based on a Relaxed Discrepancy Condition.	Graphs Comb.	2004	DBLP DOI BibTeX RDF
11	Richard I. A. Davis, Brian C. Lovell	Comparing and evaluating HMM ensemble training algorithms using train and test and condition number criteria.	Pattern Anal. Appl.	2004	DBLP DOI BibTeX RDF	Baum-Welch algorithm, Multiple sequence, Hidden Markov Model, Ensemble learning, Viterbi, Model structure
11	Dennis Cheung, Felipe Cucker	Solving linear programs with finite precision: I. Condition numbers and random programs.	Math. Program.	2004	DBLP DOI BibTeX RDF
11	Mridul Nandi	A Sufficient Condition for Optimal Domain Extension of UOWHFs.	Selected Areas in Cryptography	2004	DBLP DOI BibTeX RDF	UOWHF, Domain Extension Algorithm, masking assignment, Hash function
11	David Hales	Change Your Tags Fast! - A Necessary Condition for Cooperation?	MABS	2004	DBLP DOI BibTeX RDF
11	Ankit Tiwari, Frank L. Lewis, Shuzhi Sam Ge	Wireless sensor network for machine condition based maintenance.	ICARCV	2004	DBLP DOI BibTeX RDF
11	Mingxuan Sun, Danwei Wang, Youyi Wang	Reducing the effect of initial condition offsets using selective previous cycle data.	ICARCV	2004	DBLP DOI BibTeX RDF
11	Abhinav Saxena, Ashraf Saad	Genetic Algorithms for Artificial Neural Net-based Condition Monitoring System Design for Rotating Mechanical Systems.	WSC	2004	DBLP DOI BibTeX RDF
11	Taisuke Izumi, Toshimitsu Masuzawa	Synchronous Condition-Based Consensus Adapting to Input-Vector Legality.	DISC	2004	DBLP DOI BibTeX RDF
11	Kang Li	Application of various modeling techniques to analyze a housing condition survey dataset.	SMC (1)	2004	DBLP DOI BibTeX RDF
11	Alireza Hariri, Jean W. Zu, R. Ben Mrad	Modeling of Surface Forces between Micron-Sized Objects in Dry Condition.	ICMENS	2004	DBLP DOI BibTeX RDF
11	Philippe Cudré-Mauroux, Karl Aberer	A Necessary Condition for Semantic Interoperability in the Large.	CoopIS/DOA/ODBASE (2)	2004	DBLP DOI BibTeX RDF
11	Naizhen Qi, Michiharu Kudo	Access-Condition-Table-Driven Access Control for XML Databases.	ESORICS	2004	DBLP DOI BibTeX RDF
11	Jie Sun 0011, Geok Soon Hong, Mustafizur Rahman 0002, Yoke San Wong	The Application of Nonstandard Support Vector Machine in Tool Condition Monitoring System.	DELTA	2004	DBLP DOI BibTeX RDF
11	Ahmad Arif Rahman	Research of Capability of Existing Network for Broadband Applications; Simulation with x-DSL Technology on Indonesian Condition.	ISPAN	2004	DBLP DOI BibTeX RDF
11	Shiyong Lu, Yezhou Sun, Mustafa Atay, Farshad Fotouhi	A Sufficient and Necessary Condition for the Consistency of XML DTDs.	ER (Workshops)	2003	DBLP DOI BibTeX RDF
11	William C. Kreahling, David B. Whalley, Mark W. Bailey, Xin Yuan 0001, Gang-Ryung Uh, Robert van Engelen	Branch Elimination via Multi-variable Condition Merging.	Euro-Par	2003	DBLP DOI BibTeX RDF