Search results for "Condition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Scott Rickard, Andrzej Cichocki	When is non-negative matrix decomposition unique?	CISS	2008	DBLP DOI BibTeX RDF
10	Long Bao Le, Ravi R. Mazumdar	Appropriate control of wireless networks with flow level dynamics.	CISS	2008	DBLP DOI BibTeX RDF
10	Hideyasu Sasaki	Flow Diagram Based Formulation for Protecting Patent and Trade Secret in Information Systems.	ICIW	2008	DBLP DOI BibTeX RDF	Parameter Setting Component, Information System, Patent, Trade Secret
10	Thomas Voice	Stability of multi-path dual congestion control algorithms.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	resource allocation, stability, flow control, dynamic routing
10	Gábor Rétvári, József Bíró, Tibor Cinkler	On shortest path representation.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	linear programming, traffic engineering, shortest path routing
10	Thomas Westerbäck	Maximal partial packings of Z2n with perfect codes.	Des. Codes Cryptogr.	2007	DBLP DOI BibTeX RDF	AMS Classification 94B25
10	Peter A. Hancock	Procedure and Dynamic Display Relocation on Performance in a Multitask Environment.	IEEE Trans. Syst. Man Cybern. Part A	2007	DBLP DOI BibTeX RDF
10	Yves Vandewoude, Peter Ebraert, Yolande Berbers, Theo D'Hondt	Tranquility: A Low Disruptive Alternative to Quiescence for Ensuring Safe Dynamic Updates.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	Application-aware adaptation, components, Distributed objects, Distributed objects, containers, Componentware
10	Sunil Srinivasa, Syed Ali Jafar	The Optimality of Transmit Beamforming: A Unified View.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
10	Arkadi Nemirovski	Sums of random symmetric matrices and quadratic optimization under orthogonality constraints.	Math. Program.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 60F10, 90C25, 90C22, 90C59
10	Rufus Fraanje, Michel Verhaegen, Stephen J. Elliott	Robustness of the Filtered-X LMS Algorithm - Part I: Necessary Conditions for Convergence and the Asymptotic Pseudospectrum of Toeplitz Matrices.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
10	D.-Y. Cho, K.-Y. Lee, Tae-wan Kim 0001	Analysis and avoidance of singularities for local G 1 surface interpolation of Bézier curve network with 4-valent nodes.	Computing	2007	DBLP DOI BibTeX RDF	G 1 continuity, curve network interpolation, Bézier surfaces, singular analysis
10	Zhengyu Wang	Validation and enclosure of solutions of linear complementarity problems.	Computing	2007	DBLP DOI BibTeX RDF	validation of the solution, enclosure of the solution, H-matrix, interval analysis, Linear complementarity problem
10	Norman Poh, Josef Kittler	Predicting Biometric Authentication System Performance Across Different Application Conditions: A Bootstrap Enhanced Parametric Approach.	ICB	2007	DBLP DOI BibTeX RDF
10	Jing Huang 0019, Etienne Marcheret, Karthik Visweswariah, Vit Libal, Gerasimos Potamianos	The IBM Rich Transcription 2007 Speech-to-Text Systems for Lecture Meetings.	CLEAR	2007	DBLP DOI BibTeX RDF
10	Jonathan G. Fiscus, Jerome Ajot, John S. Garofolo	The Rich Transcription 2007 Meeting Recognition Evaluation.	CLEAR	2007	DBLP DOI BibTeX RDF
10	ZongBo Shang, Jeffrey D. Hamerlinck	Using Statistics and Spatial Data Mining to Study Land Cover in Wyoming : Can We Predict Vegetation Types from Environmental Variables?	ICDM Workshops	2007	DBLP DOI BibTeX RDF	Wyoming, discriminant analysis, Factor analysis, land cover, classification and regression tree
10	Hiroshi Daimoto, Tsutomu Takahashi, Kiyoshi Fujimoto, Hideaki Takahashi, Masaaki Kurosu, Akihiro Yagi	Effects of a Dual-Task Tracking on Eye Fixation Related Potentials (EFRP).	HCI (3)	2007	DBLP DOI BibTeX RDF
10	Gloria Bordogna, Marco Pagani, Gabriella Pasi, Giuseppe Psaila	Flexible Location-Based Spatial Queries.	IFSA (2)	2007	DBLP DOI BibTeX RDF	location-based queries, imprecise locations, Minkowski sum
10	Kerstin Koch, Stefan Schönauer, Ivy Jansen, Jan Van den Bussche, Tomasz Burzykowski	Finding Clusters of Positive and Negative Coregulated Genes in Gene Expression Data.	BIBE	2007	DBLP DOI BibTeX RDF
10	Kilho Shin, Tetsuji Kuboyama	Polynomial Summaries of Positive Semidefinite Kernels.	ALT	2007	DBLP DOI BibTeX RDF
10	Visit Hirankitti, Jaturapith Krohkaew	An Agent Approach for Intelligent Traffic-Light Control.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF
10	Philippe Langlois, Nicolas Louvet	How to Ensure a Faithful Polynomial Evaluation with the Compensated Horner Algorithm.	IEEE Symposium on Computer Arithmetic	2007	DBLP DOI BibTeX RDF
10	Peng Zhang, Xingyu Peng, Xinqian Li	Oil and Gas Pipeline Limited Charge Optimum Maintenance Decision-Making Analysis Based on Fuzzy-Gray-Element Theory and Fuzzy Analytical Hierarchy Process*.	ICFIE	2007	DBLP DOI BibTeX RDF	Fuzzy-gray-element, maintenance decisionmaking, fuzzy analytical hierarchy process
10	Jean-Michel Fourneau, Brigitte Plateau, William J. Stewart 0001	Product form for stochastic automata networks.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	product form steady-state distribution, continuous time Markov chain, stochastic automata networks
10	Jeremy P. Birnholtz, Tovi Grossman, Clarissa Mak, Ravin Balakrishnan	An exploratory study of input configuration and group process in a negotiation task using a large display.	CHI	2007	DBLP DOI BibTeX RDF	collaboration, negotiation, large displays, input
10	Rasul Mohammadi, Shahin Hashtrudi-Zad, Khashayar Khorasani	A hybrid architecture for diagnosis in hybrid systems with applications to spacecraft propulsion system.	SMC	2007	DBLP DOI BibTeX RDF
10	Yu Huang 0004, Hanpin Wang, Wen Zhao, Jiaqi Zhu	Analyzing Data Dependence Based on Workflow Net.	International Conference on Computational Science (3)	2007	DBLP DOI BibTeX RDF
10	Beom-Soo Shim, Sung-Wook Lee, Jeong-Hoon Shin	Implementation of a 3-Dimensional Game for developing balanced Brainwave.	SERA	2007	DBLP DOI BibTeX RDF
10	Gui-Chen Zhang, Songtao Zhang, Guang Ren	A Piecewise Fuzzy Lyapunov Function Approach to Stability Analysis of Discrete T-S Fuzzy System.	FSKD (1)	2007	DBLP DOI BibTeX RDF
10	Meng Hai-Tao	Completeness Conditions for Accurate Alerting in Sensor Networks.	COMSWARE	2007	DBLP DOI BibTeX RDF
10	Yang Cui 0001, Eiichiro Fujisaki, Goichiro Hanaoka, Hideki Imai, Rui Zhang 0002	Formal Security Treatments for Signatures from Identity-Based Encryption.	ProvSec	2007	DBLP DOI BibTeX RDF
10	Jean-Yves Le Boudec, Milan Vojnovic	The random trip model: stability, stationary regime, and perfect simulation.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	random waypoint, simulation, mobility models
10	Tong Zhou	Stability and stability margin for a two-dimensional system.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
10	Yuanqing Li, Shun-ichi Amari, Andrzej Cichocki, Daniel W. C. Ho, Shengli Xie	Underdetermined blind source separation based on sparse representation.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
10	Wei Yu 0001, Raymond Lui	Dual Methods for Nonconvex Spectrum Optimization of Multicarrier Systems.	IEEE Trans. Commun.	2006	DBLP DOI BibTeX RDF
10	Howard Bowman, Rodolfo Gómez 0001	How to stop time stopping.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Zeno-timelocks, Non-zenoness conditions, Model checking, Timed automata
10	An Zeng, Dan Pan 0001, Qi Lun Zheng, Hong Peng	Knowledge Acquisition Based on Rough Set Theory and Principal Component Analysis.	IEEE Intell. Syst.	2006	DBLP DOI BibTeX RDF	collective correlation coefficient, rough set, principal component analysis, knowledge acquisition
10	Norikazu Takahashi, Tetsuo Nishi	Global Convergence of Decomposition Learning Methods for Support Vector Machines.	IEEE Trans. Neural Networks	2006	DBLP DOI BibTeX RDF
10	Hanli Wang, Sam Kwong, Chi-Wah Kok	Effectively Detecting All-Zero DCT Blocks for H.264 Optimization.	ICIP	2006	DBLP DOI BibTeX RDF
10	Gao Cong, Wenfei Fan, Floris Geerts	Annotation propagation revisited for key preserving views.	CIKM	2006	DBLP DOI BibTeX RDF	annotations, provenance, view updates
10	Rui Guo, Ji-lin Liu	Joint Source-Channel Coding Based on Adaptive Wavelet Pretreatment for Image Transmission over Frequency Selective Fading Channel.	SEAL	2006	DBLP DOI BibTeX RDF
10	Sverrir Olafsson	Sufficient Conditions for Convergent Power Dynamics in Ad Hoc Networks.	VTC Spring	2006	DBLP DOI BibTeX RDF
10	Mohamad Badra	Feedback Stabilization of the 3-D Navier-Stokes Equations Based on an Extended System.	Systems, Control, Modeling and Optimization	2006	DBLP DOI BibTeX RDF	Feedback stabilization, Navier-Stokes equation, Riccati equation
10	Arie Dijkstra	Technology Adds New Principles to Persuasive Psychology: Evidence from Health Education.	PERSUASIVE	2006	DBLP DOI BibTeX RDF
10	Nobuyuki Taga, Shigeru Mase	Applications of Gibbs Measure Theory to Loopy Belief Propagation Algorithm.	MICAI	2006	DBLP DOI BibTeX RDF
10	Wen-Hsien Ho, Jyh-Horng Chou	Stable and Quadratic Optimal Fuzzy PDC Control for TS-Fuzzy-Model-Based Control Systems.	ICICIC (1)	2006	DBLP DOI BibTeX RDF
10	Wei Luo 0001	Learning Bayesian Networks in Semi-deterministic Systems.	Canadian AI	2006	DBLP DOI BibTeX RDF
10	Taishin Yasunobu Nishida	Membrane Algorithms: Approximate Algorithms for NP-Complete Optimization Problems.	Applications of Membrane Computing	2006	DBLP DOI BibTeX RDF
10	Gang Wang, Xin Xu 0001, Dewen Hu	Local Stability Analysis of Maximum Nongaussianity Estimation in Independent Component Analysis.	ISNN (1)	2006	DBLP DOI BibTeX RDF
10	Joon Hur, Hongchul Lee, Jun-Geol Baek	An Intelligent Manufacturing Process Diagnosis System Using Hybrid Data Mining.	ICDM	2006	DBLP DOI BibTeX RDF
10	Suzanne Kieffer, Noelle Carbonell	Oral messages improve visual search.	AVI	2006	DBLP DOI BibTeX RDF	multimodal system messages, speech and graphics, visual target spotting, visual search, experimental evaluation, usability study
10	Clare-Marie Karat, John Karat, Carolyn Brodie, Jinjuan Feng	Evaluating interfaces for privacy policy rule authoring.	CHI	2006	DBLP DOI BibTeX RDF	privacy, design process, privacy policies, natural language interfaces, social and legal issues
10	Guo-sheng Hao, Yong-Qing Huang, Dun-Wei Gong, Guang-Song Guo, Yong Zhang 0016	Fitness Noise in Interactive Evolutionary Computation and the Convergence Robustness.	ISDA (1)	2006	DBLP DOI BibTeX RDF
10	Honghai Feng, Baoyan Liu, Liyun He, Bingru Yang, Yueli Li	A Discretization Algorithm That Keeps Positive Regions of All the Decision Classes.	KES (1)	2006	DBLP DOI BibTeX RDF
10	Il Koo Kim, Nam Ik Cho	Video Transcoding for Packet Loss Resilience Based on the Multiple Descriptions.	ICME	2006	DBLP DOI BibTeX RDF
10	Kazuyuki Miura, Tetsuya Matsuno, Takao Nishizeki	Open Rectangle-of-Influence Drawings of Inner Triangulated Plane Graphs.	GD	2006	DBLP DOI BibTeX RDF
10	Carolyn F. Holton, Robert M. Fuller	The Impact of Electronic Monitoring on Hazard Communications.	HICSS	2006	DBLP DOI BibTeX RDF
10	Linna Zhou, Qingling Zhang 0001, Chunyu Yang 0001	Practical Stability Analysis and Synthesis of a Class of Uncertain T-S Fuzzy Systems.	FSKD	2006	DBLP DOI BibTeX RDF
10	Hiroshi Kawaharada, Kokichi Sugihara	Computation of Normals for Stationary Subdivision Surfaces.	GMP	2006	DBLP DOI BibTeX RDF
10	Vithal Kuchibatla, Héctor Muñoz-Avila	An Analysis on Transformational Analogy: General Framework and Complexity.	ECCBR	2006	DBLP DOI BibTeX RDF
10	Yu Zhang, Steve Jones, Lachlan Hurse, Arnon Accad	Web Services Based State of the Environment Reporting.	APWeb	2006	DBLP DOI BibTeX RDF
10	Joseph Gil, Alexander Gorovoy, Alon Itai	Software Fingerprinting.	ITRE	2006	DBLP DOI BibTeX RDF
10	Arthur D. Chtcherba, Deepak Kapur	Conditions for determinantal formula for resultant of a polynomial system.	ISSAC	2006	DBLP DOI BibTeX RDF	Bézoutian, Dixon, dialytic, rank submatrix construction, resultant matrix, resultant
10	Alper Atamtürk	Cover and Pack Inequalities for (Mixed) Integer Programming.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	knapsack polyhedra, superadditive functions, integer programming, lifting
10	Daowen Qiu	Supervisory control of fuzzy discrete event systems: a formal approach.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
10	Shengyuan Xu, James Lam, Daniel W. C. Ho, Yun Zou	Improved global robust asymptotic stability criteria for delayed cellular neural networks.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
10	Ho Jae Lee, Jin Bae Park, Young Hoon Joo	Digitalizing a Fuzzy Observer-Based Output-Feedback Control: Intelligent Digital Redesign Approach.	IEEE Trans. Fuzzy Syst.	2005	DBLP DOI BibTeX RDF
10	Ping Luo 0001, Qing He 0003, Zhongzhi Shi	Theoretical study on a new information entropy and its use in attribute reduction.	IEEE ICCI	2005	DBLP DOI BibTeX RDF
10	Chetan Shiva Shankar, Anand Ranganathan, Roy H. Campbell	An ECA-P Policy-based Framework for Managing Ubiquitous Computing Environments.	MobiQuitous	2005	DBLP DOI BibTeX RDF
10	Qiang Zhang 0008, Wenbing Liu, Xiaopeng Wei, Jin Xu	Globally Exponential Stability of Non-autonomous Delayed Neural Networks.	IbPRIA (2)	2005	DBLP DOI BibTeX RDF
10	Tali Kaufman, Simon Litsyn	Almost Orthogonal Linear Codes are Locally Testable.	FOCS	2005	DBLP DOI BibTeX RDF
10	Xiujuan Chai, Laiyun Qing, Shiguang Shan, Xilin Chen 0001, Wen Gao 0001	Pose Invariant Face Recognition Under Arbitrary Illumination Based on 3D Face Reconstruction.	AVBPA	2005	DBLP DOI BibTeX RDF
10	Venkatesh Ramaiyan, Anurag Kumar 0001, Eitan Altman	Fixed point analysis of single cell IEEE 802.11e WLANs: uniqueness, multistability and throughput differentiation.	SIGMETRICS	2005	DBLP DOI BibTeX RDF	EDCF analysis, QoS in wireless LANs, performance of wireless LANs, short term unfairness
10	Jianchao Han, Ricardo Sanchez, Xiaohua Hu 0001	Feature Selection Based on Relative Attribute Dependency: An Experimental Study.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF	machine learning and data mining, classification, feature selection, Rough set theory, data reduction
10	James Brotherston	Cyclic Proofs for First-Order Logic with Inductive Definitions.	TABLEAUX	2005	DBLP DOI BibTeX RDF
10	Jean-Yves Le Boudec, Milan Vojnovic	Perfect simulation and stationarity of a class of mobility models.	INFOCOM	2005	DBLP DOI BibTeX RDF
10	Saddek Bensalem, Doron A. Peled, Hongyang Qu 0001, Stavros Tripakis	Generating Path Conditions for Timed Systems.	IFM	2005	DBLP DOI BibTeX RDF
10	Honghai Feng, Chen Guoshun, Yin Cheng, Bingru Yang, Yumei Chen	A SVM Regression Based Approach to Filling in Missing Values.	KES (3)	2005	DBLP DOI BibTeX RDF
10	David J. Hathaway	Dealing with the spatio-temporal interactions among transient power, supply noise and timing.	SLIP	2005	DBLP DOI BibTeX RDF
10	Hans-Martin Gärtner, Jens Michaelis	A Note on the Complexity of Constraint Interaction: Locality Conditions and Minimalist Grammars.	LACL	2005	DBLP DOI BibTeX RDF
10	Kouji Nishigaki, Keiichi Yasumoto, Naoki Shibata, Minoru Ito, Teruo Higashino	Framework and Rule-Based Language for Facilitating Context-Aware Computing Using Information Appliances.	ICDCS Workshops	2005	DBLP DOI BibTeX RDF
10	Jane Brooks Zurn, Drew Hohmann, Steven I. Dworkin, Yuichi Motai	A Real-Time Rodent Tracking System for Both Light and Dark Cycle Behavior Analysis.	WACV/MOTION	2005	DBLP DOI BibTeX RDF
10	Rajeev Murgai	Improved Layout-Driven Area-Constrained Timing Optimization by Net Buffering.	VLSI Design	2005	DBLP DOI BibTeX RDF
10	Taishin Y. Nishida	Membrane Algorithms.	Workshop on Membrane Computing	2005	DBLP DOI BibTeX RDF
10	Jianchao Han	Feature selection based on rough set and information entropy.	GrC	2005	DBLP DOI BibTeX RDF
10	Sylvia Pulmannová	Commutator-Finite D-Lattices.	Order	2004	DBLP DOI BibTeX RDF	D-lattice, Riesz ideal, block-finite, commutator-finite, block, MV-algebra, congruence, commutator, ideal, effect algebra
10	Jie Wu 0001, Fei Dai 0001	A Generic Distributed Broadcast Scheme in Ad Hoc Wireless Networks.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
10	Qian Zhang 0001, Wenwu Zhu 0001, Ya-Qin Zhang	Channel-adaptive resource allocation for scalable video transmission over 3G wireless network.	IEEE Trans. Circuits Syst. Video Technol.	2004	DBLP DOI BibTeX RDF
10	Jiong Luo, Lin Zhong 0001, Yunsi Fei, Niraj K. Jha	Register binding-based RTL power management for control-flow intensive designs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
10	Stanislav Jovanovic	Railway track quality assessment and related decision making.	SMC (6)	2004	DBLP DOI BibTeX RDF
10	Shumei Mu, Tianguang Chu, Long Wang 0001	An improved model-based control scheme for networked systems.	SMC (7)	2004	DBLP DOI BibTeX RDF
10	Hiroki Maemoto, Yoshikazu Okuma, Shigeru Yano	Parametric vehicle recognition using knowledge acquisition system.	SMC (4)	2004	DBLP DOI BibTeX RDF
10	Kensaku Sakai, Masaaki Mochimaru, Kazunori Yokoyama	Modelling patient responses to surgical procedures during endoscopic sinus surgery using local anesthesia.	SMC (1)	2004	DBLP DOI BibTeX RDF
10	An Zeng, Qi Lun Zheng, Dan Pan 0001, Hong Peng	A practical strategy for acquiring rules based on rough sets and principal component analysis.	SMC (4)	2004	DBLP DOI BibTeX RDF
10	Roman Bednarik, Markku Tukiainen	Visual attention tracking during program debugging.	NordiCHI	2004	DBLP DOI BibTeX RDF	visual attention, psychology of programming, eye-movement tracking
10	Jong-Phil Kim, Jeha Ryu	Energy Bounding Algorithm Based-on Passivity Theorem for Stable Haptic Interaction Control.	HAPTICS	2004	DBLP DOI BibTeX RDF
10	Qingyuan Bai, Jun Hong 0001, Michael F. McTear	Some Modifications of Bucket-Based Algorithms for Query Rewriting Using Views.	ADVIS	2004	DBLP DOI BibTeX RDF
10	Matthias Fitzi, Stefan Wolf 0001, Jürg Wullschleger	Pseudo-signatures, Broadcast, and Multi-party Computation from Correlated Randomness.	CRYPTO	2004	DBLP DOI BibTeX RDF	pseudo-signatures, broadcast, information theory, Unconditional security, multi-party computation
10	Koichi Koizumi, Takaaki Mizuki, Takao Nishizeki	Necessary and Sufficient Numbers of Cards for the Transformation Protocol.	COCOON	2004	DBLP DOI BibTeX RDF