|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8447 occurrences of 4597 keywords
|
|
|
Results
Found 17251 publication records. Showing 17251 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Shaosheng Zhou, Wei Xing Zheng 0001 |
A Study of Delay-Dependent Stabilization for Discrete-Time Systems with Time Delays. |
ISCAS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Yoichi Tomioka, Atsushi Takahashi 0001 |
Monotonic parallel and orthogonal routing for single-layer ball grid array packages. |
ASP-DAC |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Jiaying Shen, Raphen Becker, Victor R. Lesser |
Agent interaction in distributed POMDPs and its implications on complexity. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
distributed POMDP, interaction, complexity |
17 | Chunxiao Ye, Zhongfu Wu |
Using XML and XACML to Support Attribute Based Delegation. |
CIT |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Oren Ben-Zwi, Shlomit S. Pinter |
Handling Sensed Data in Hostile Environments. |
MSN |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Olha Shkaravska |
Types with semantics: soundness proof assistant. |
MERLIN |
2005 |
DBLP DOI BibTeX RDF |
type system, assertion, automated theorem proving, program logic |
17 | Rossano Barone, Peter C.-H. Cheng |
Interpreting Lines in Graphs: Do Graph Users Construe Fictive Motion?. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Susan R. Fussell, Sara B. Kiesler, Leslie D. Setlock, Peter Scupelli |
Effects of instant messaging on the management of multiple project trajectories. |
CHI |
2004 |
DBLP DOI BibTeX RDF |
CSCW, empirical studies, collaborative writing, distributed work, coordination mechanisms, intellectual teamwork |
17 | Han-Saem Yun, Jihong Kim 0001, Soo-Mook Moon |
Time Optimal Software Pipelining of Loops with Control Flows. |
Int. J. Parallel Program. |
2003 |
DBLP DOI BibTeX RDF |
compiler optimization, instruction-level parallelism, software pipelining, VLIW |
17 | J Strother Moore |
Inductive Assertions and Operational Semantics. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Pierre Deransart, Jan-Georg Smaus |
Well-Typed Logic Programs Are not Wrong. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Ruey-Wen Liu, Yujiro Inouye |
Direct blind deconvolution of multiuser-multichannel systems. |
ISCAS (5) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Carl Pixley, Vigyan Singhal, Adnan Aziz, Robert K. Brayton |
Multi-level synthesis for safe replaceability. |
ICCAD |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Sharma Chakravarthy, Susan Nesson |
Making an Object-Oriented DBMS Active: Design, Implementation, and Evaluation of a Prototype. |
EDBT |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Ranjan Chaudhuri, Hartmut Höft |
On rational solution of the state equation of a finite automation (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Jun Wang, Yating Yang, Yuqiang Fu |
Joint optimization of condition-based maintenance and condition-based reallocation for a system with multiple degrading components. |
Qual. Reliab. Eng. Int. |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Nan Zhang, Kaiquan Cai, Yingjun Deng, Jun Zhang |
Joint optimization of condition-based maintenance and condition-based production of a single equipment considering random yield and maintenance delay. |
Reliab. Eng. Syst. Saf. |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Kristina Bingele, Arturas Stikonas |
Investigation of a discrete Sturm-Liouville Problem with two-Point nonlocal boundary condition and Natural Approximation of a derivative in boundary condition. |
Math. Model. Anal. |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Hasan Rasay, Fariba Azizi, Mehrnaz Salmani, Farnoosh Naderkhani |
A Reinforcement Learning Algorithm for Optimal Dynamic Policies of Joint Condition-based Maintenance and Condition-based Production. |
ICPHM |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Hasan Rasay, Fariba Azizi, Mehrnaz Salmani, Farnoosh Naderkhani |
A Reinforcement Learning Algorithm for Optimal Dynamic Policies of Joint Condition-based Maintenance and Condition-based Production. |
ICPHM |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Yining Cao, Xiaoming Wang 0009 |
The Beavers-Joseph Interface Boundary Condition is Well Approximated by the Beavers-Joseph-Saffman-Jones Interface Boundary Condition. |
SIAM J. Appl. Math. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Michiel A. J. uit het Broek, Ruud H. Teunter, Bram de Jonge, Jasper Veldman |
Joint condition-based maintenance and condition-based production optimization. |
Reliab. Eng. Syst. Saf. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Hiroki Ishizaka, Kenta Kobayashi, Ryo Suzuki, Takuya Tsuchiya |
A new geometric condition equivalent to the maximum angle condition for tetrahedrons. |
Comput. Math. Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Hiroki Ishizaka, Kenta Kobayashi, Ryo Suzuki, Takuya Tsuchiya |
A new geometric condition equivalent to the maximum angle condition for tetrahedrons. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
16 | Dave Dice, Alex Kogan |
Ready When You Are: Efficient Condition Variables via Delegated Condition Evaluation. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
16 | Andela Blagojevic, Tijana Sustersic, Ivan Lorencin, Sandi Baressi Segota, Nikola Andelic, Dragan Milovanovic, Danijela Baskic, Dejan Baskic, Natasa Zdravkovic Petrovic, Predrag Sazdanovic, Zlatan Car, Nenad Filipovic |
Artificial intelligence approach towards assessment of condition of COVID-19 patients - Identification of predictive biomarkers associated with severity of clinical condition and disease progression. |
Comput. Biol. Medicine |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Changxin Qiu, Xiaoming He, Jian Li 0029, Yanping Lin |
A domain decomposition method for the time-dependent Navier-Stokes-Darcy model with Beavers-Joseph interface condition and defective boundary condition. |
J. Comput. Phys. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Robert Mislavsky, Berkeley J. Dietvorst, Uri Simonsohn |
Critical Condition: People Don't Dislike a Corporate Experiment More Than They Dislike Its Worst Condition. |
Mark. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Teppei Mori, Tomonori Ohiro, Yasushi Hanatsuka, Tomoyuki Higuchi |
Data-Driven Road Condition Forecasting with High Spatial Resolution: Utilizing Tire-Centric Road Condition Monitoring Technology. |
ITSC |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Cheng Lu, Tingxue Xu, Lin-Hu Cong |
Condition-based maintenance decision based on inverse gaussian deterioration process under the condition of regular detection and maintenance. |
J. Intell. Fuzzy Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Bowen Tang, Ju Tang, Yilu Liu, Fuping Zeng |
Comprehensive Evaluation and Application of GIS Insulation Condition Part 1: Selection and Optimization of Insulation Condition Comprehensive Evaluation Index Based on Multi-Source Information Fusion. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Botao Wu, Huijuan Wang |
A Lane Identifying Approach of the Intelligent Vehicle in Complex Condition: Intelligent Vehicle in Complex Condition. |
Int. J. Ambient Comput. Intell. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Yunhong Zhang, Na Liu 0006, Hong Chen |
Evaluation of Fatigue and Comfort of Blue Light Under General Condition and Low Blue Light Condition. |
AHFE (2) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Lei Wang, Pengxin Wang, Li Li 0059, Lan Xun, Qingling Kong, Shunlin Liang |
Developing an integrated indicator for monitoring maize growth condition using remotely sensed vegetation temperature condition index and leaf area index. |
Comput. Electron. Agric. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | XiaoLiang Dong, Deren Han, Zhifeng Dai, Lixiang Li 0001, Jianguang Zhu |
An Accelerated Three-Term Conjugate Gradient Method with Sufficient Descent Condition and Conjugacy Condition. |
J. Optim. Theory Appl. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Yafei Lyu, Lingzhou Xue, Feipeng Zhang, Hillary Koch, Laura M. Saba, Katerina J. Kechris, Qunhua Li |
Condition-adaptive fused graphical lasso (CFGL): An adaptive procedure for inferring condition-specific gene co-expression network. |
PLoS Comput. Biol. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Shuaishuai Du, Huoyuan Duan |
Analysis of a stabilized finite element method for Stokes equations of velocity boundary condition and of pressure boundary condition. |
J. Comput. Appl. Math. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Shoichoi Tsuchiya, Takamasa Yashima |
A degree condition implying Ore-type condition for even [2, b]-factors in graphs. |
Discuss. Math. Graph Theory |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Huai-An Diao, Dongmei Liu, Sanzheng Qiao |
Structured condition numbers and small sample condition estimation of symmetric algebraic Riccati equations. |
Appl. Math. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Md. Iqbal Hossain 0001, Sammi Abida Salma, Md. Saidur Rahman 0001, Debajyoti Mondal |
A Necessary Condition and a Sufficient Condition for Pairwise Compatibility Graphs. |
J. Graph Algorithms Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Md. Iqbal Hossain 0001, Sammi Abida Salma, Md. Saidur Rahman 0001 |
A Necessary Condition and a Sufficient Condition for Pairwise Compatibility Graphs. |
WALCOM |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Cristiano Tapparello, Wendi B. Heinzelman, Kelly Conn, Craig A. Mullen |
Manage My Condition: A Standard Framework for the Development of Cloud-Based Medical Condition Management Applications. |
CHASE |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Cristiano Tapparello, Wendi B. Heinzelman, Kelly Conn, Craig A. Mullen |
Developing Medical Condition Management Applications Using Manage My Condition. |
CHASE |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Adel Amar Amouri |
Caractérisation Moléculaire et Biochimique en Condition de Stress Salin de Medicago truncatula Gaertner. (Molecular and Biochemical Characterization of Medicago truncatula Gaertner under Salt Stress Condition). |
|
2016 |
RDF |
|
16 | Xiao-Liang Dong, Hongwei Liu 0001, Yu Bo He |
A Self-Adjusting Conjugate Gradient Method with Sufficient Descent Condition and Conjugacy Condition. |
J. Optim. Theory Appl. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Xiao-Liang Dong, Hongwei Liu 0001, Yu Bo He, Xi Mei Yang |
A modified Hestenes-Stiefel conjugate gradient method with sufficient descent condition and conjugacy condition. |
J. Comput. Appl. Math. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Khac Tuan Huynh, Inmaculada Torres Castro, Anne Barros, Christophe Bérenguer |
On the Use of Mean Residual Life as a Condition Index for Condition-Based Maintenance Decision-Making. |
IEEE Trans. Syst. Man Cybern. Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Bairong Wu, Zhigang Tian, Mingyuan Chen |
Condition-based Maintenance Optimization Using Neural Network-based Health Condition Prediction. |
Qual. Reliab. Eng. Int. |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Huaian Diao, Hua Xiang 0002, Yiming Wei 0001 |
Mixed, componentwise condition numbers and small sample statistical condition estimation of Sylvester equations. |
Numer. Linear Algebra Appl. |
2012 |
DBLP DOI BibTeX RDF |
|
16 | Ninil U. A. Wardani, Andreas P. Purnomoadi, Henny I. Septiani, Indera Arifianto, B. Cahyono |
Condition assessment of 500/150 kV power transformer based on condition based maintenance. |
ICEEI |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Hamid Reza Golmakani |
Cost-effective condition-based inspection scheme for condition-based maintenance. |
IRI |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Zhengwei Yang, Liping Di, Genong Yu, Zeqiang Chen |
Vegetation condition indices for crop vegetation condition monitoring. |
IGARSS |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Jueping Chen, Zhaoliang Xu |
Comment on "condition number of Drazin inverse and their condition numbers of singular linear systems". |
Appl. Math. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Albrecht Böttcher, Sergei M. Grudsky |
Structured condition numbers of large Toeplitz matrices are rarely better than usual condition numbers. |
Numer. Linear Algebra Appl. |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Liliana Cucu |
Ordonnancement non préemptif et condition d'ordonnançabilité pour systèmesembarqués à contraintes temps réel. (Non-preemptive scheduling and schedulability condition for embedded systems with real-time constraints). |
|
2004 |
RDF |
|
16 | Yiming Wei 0001, Wei Xu |
Condition number of Bott-Duffin inverse and their condition numbers. |
Appl. Math. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Yiming Wei 0001, Guanglin Wang, Dingkun Wang |
Condition number of Drazin inverse and their condition numbers of singular linear systems. |
Appl. Math. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Hong Chen, Hanqin Zhang |
A sufficient condition and a necessary condition for the diffusion approximations of multiclass queueing networks under priority service disciplines. |
Queueing Syst. Theory Appl. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Willard L. Miranker, Moshe Goldberg |
A note comparing the root condition and the resolvent condition. |
Inf. Sci. |
1972 |
DBLP DOI BibTeX RDF |
|
16 | Rupesh Tulshyan, Ramnik Arora, Kalyanmoy Deb, Joydeep Dutta |
Investigating EA solutions for approximate KKT conditions in smooth problems. |
GECCO |
2010 |
DBLP DOI BibTeX RDF |
karush-kuhn-tucker conditions, termination condition, nonlinear programming, evolutionary optimization |
16 | Damien Imbs, Michel Raynal, Gadi Taubenfeld |
On asymmetric progress conditions. |
PODC |
2010 |
DBLP DOI BibTeX RDF |
fault-freedom, progress condition, liveness, process crash, wait-freedom, obstruction-freedom, asynchronous shared memory system, consensus number |
16 | Kim Nee Goh, Yoke Yie Chen, Emy Elyanee Mustapha, Subarna Sivapalan, Shahrina Md. Nordin |
Design of a Web Intervention to Change Youth Smoking Habits. |
HCI (4) |
2009 |
DBLP DOI BibTeX RDF |
Gagne’s Condition of Learning Theory, Cognitive Dissonance, Web Intervention, HCI, User Interface, Smoking |
16 | Xuyun Fu, Gang Ding, Shisheng Zhong |
Aeroengine Turbine Exhaust Gas Temperature Prediction Using Support Vector Machines. |
ISNN (2) |
2009 |
DBLP DOI BibTeX RDF |
Aeroengine condition monitoring, Turbine exhaust gas temperature, Support vector machines, Time series prediction |
16 | Zhongcheng Zhang |
Alternating Iterative Projection Algorithm of Multivariate Time Series Mixed Models. |
ISNN (1) |
2009 |
DBLP DOI BibTeX RDF |
Multivariate time series regression, Ill-condition separation, Alternating iterative, Parameters estimation |
16 | Nhat Anh Cheviet, Mohamed El Badaoui, Adel Belouchrani, François Guillet |
Blind Separation of Cyclostationary Signals. |
ICA |
2009 |
DBLP DOI BibTeX RDF |
cyclostationary signals, Fraction-of-Time, identifiability condition, Blind source separation |
16 | Yiwei Gong, Marijn Janssen, Sietse Overbeek, Arre Zuurmond |
Enabling flexible processes by ECA orchestration architecture. |
ICEGOV |
2009 |
DBLP DOI BibTeX RDF |
orchestration architecture, flexibility, business process management, event-condition-action |
16 | Rastislav Srámek, Bernd Fischer 0003, Elias Vicari, Peter Widmayer |
Optimal Transitions for Targeted Protein Quantification: Best Conditioned Submatrix Selection. |
COCOON |
2009 |
DBLP DOI BibTeX RDF |
submatrix selection problem, minimal condition number, bioinformatics |
16 | Man-Wai Mak, Jian Guo 0002, Sun-Yuan Kung |
PairProSVM: Protein Subcellular Localization Based on Local Pairwise Profile Alignment and SVM. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2008 |
DBLP DOI BibTeX RDF |
profile alignment, Mercer condition, Support Vector Machines, Kernel Methods, Subcellular localization |
16 | Manuel Costa, Jon Crowcroft, Miguel Castro 0001, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham 0001 |
Vigilante: End-to-end containment of Internet worm epidemics. |
ACM Trans. Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
self-certifying alerts, vulnerability condition slicing, program analysis, dynamic data-flow analysis, Worm containment |
16 | Bernd Gärtner, Walter D. Morris Jr., Leo Rüst |
Unique Sink Orientations of Grids. |
Algorithmica |
2008 |
DBLP DOI BibTeX RDF |
Unique sink orientation, Generalized linear complementarity problem, Sink finding algorithm, Holt Klee condition, Linear programming |
16 | Bin Lei, Linzhang Wang, Xuandong Li |
UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
race condition, UML activity diagram |
16 | Shilong Lu, Rui Wang 0013, Li Cui, Ze Zhao, Youhua Yu, Zengyu Shan |
Wireless Networked Chinese Telemedicine System: Method and Apparatus for Remote Pulse Information Retrieval and Diagnosis. |
PerCom |
2008 |
DBLP DOI BibTeX RDF |
Remote Medical Care, Pulse condition, Wireless Sensor Network, Telemedicine, Traditional Chinese Medicine |
16 | Yuqin Zhao, Mingwang Zhang |
A Wide Neighborhood Primal-Dual Interior-Point Algorithm for a Class of Convex Programming. |
ICIC (2) |
2008 |
DBLP DOI BibTeX RDF |
Wide-neighborhood interior-point algorithm, Scaled Lipschitz condition, Iteration complexity, Potential function |
16 | Vikram Sharma 0001 |
Robust Approximate Zeros in Banach Space. |
Math. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
root approximation, approximate zero, bigfloat computation, system of polynomials, complexity, error bounds, condition number, Newton iteration, point estimates |
16 | Tom Coenen, Maurits de Graaf, Richard J. Boucherie |
An Upper Bound on Multi-hop Wireless Network Performance. |
ITC |
2007 |
DBLP DOI BibTeX RDF |
cut condition, interference, Wireless multi-hop network, multicommodity flow problem |
16 | Cuiping Hou, Chengwei Ma |
Boundary Setting in Simulating Greenhouse Ventilation by Fluent Software. |
CCTA |
2007 |
DBLP DOI BibTeX RDF |
fluent, simulation, boundary condition |
16 | Guoqing Zhou 0002, Taebo Shim |
Adaptive Transmission Technique in Underwater Acoustic Wireless Communication. |
ICES |
2007 |
DBLP DOI BibTeX RDF |
Underwater Acoustic Channel Capacity, Adaptive Transmission Technique, Sloping Condition, Rayleigh Fading |
16 | Ittai Abraham, Mahesh Balakrishnan 0001, Fabian Kuhn, Dahlia Malkhi, Venugopalan Ramasubramanian, Kunal Talwar |
Reconstructing approximate tree metrics. |
PODC |
2007 |
DBLP DOI BibTeX RDF |
four-points condition, embeddings, metric spaces, tree metrics |
16 | Edgar Estupiñan, Paul White, César San Martín |
A Cyclostationary Analysis Applied to Detection and Diagnosis of Faults in Helicopter Gearboxes. |
CIARP |
2007 |
DBLP DOI BibTeX RDF |
cyclostationarity, Signal Processing, condition monitoring, vibration analysis |
16 | Xiaozheng Zhang 0002, Sanqiang Zhao, Yongsheng Gao 0001 |
Lighting Analysis and Texture Modification of 3D Human Face Scans. |
DICTA |
2007 |
DBLP DOI BibTeX RDF |
3D scanner, facial textures, lighting condition, reflection model, 3D face model |
16 | Biswanath Samanta, Khamis R. Al-Balushi, Saeed A. Al-Araimi |
Artificial neural networks and genetic algorithm for bearing fault detection. |
Soft Comput. |
2006 |
DBLP DOI BibTeX RDF |
Bearing faults, Rotating machines, Genetic algorithm, Neural network, Feature selection, Signal processing, Radial basis function, Probabilistic neural network, Condition monitoring |
16 | Gregor Snelting, Torsten Robschink, Jens Krinke |
Efficient path conditions in dependence graphs for software safety analysis. |
ACM Trans. Softw. Eng. Methodol. |
2006 |
DBLP DOI BibTeX RDF |
program slicing, information flow control, Safety analysis, path condition |
16 | James Newsome, David Brumley, Jason Franklin, Dawn Xiaodong Song |
Replayer: automatic protocol replay by binary analysis. |
CCS |
2006 |
DBLP DOI BibTeX RDF |
application protocol replay, weakest pre-condition |
16 | Jasen Markovski, Erik P. de Vink |
Embedding Real Time in Stochastic Process Algebras. |
EPEW |
2006 |
DBLP DOI BibTeX RDF |
Stochastic delay, weak choice, real-time and stochastic process algebra, race condition |
16 | Jae-Yoon Jung 0001, Jonghun Park, Seung-Kyun Han, Kangchan Lee |
Event-Based Peer-to-Peer Process Enactment for Ubiquitous Web Service Devices. |
Business Process Management Workshops |
2006 |
DBLP DOI BibTeX RDF |
Peer-to-peer process, web services eventing, ubiquitous computing, Event-Condition-Action rules |
16 | Ting Mei, Jaijeet S. Roychowdhury |
A robust envelope following method applicable to both non-autonomous and oscillatory circuits. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
envelope following, phase condition, least squares |
16 | Jun Fujisawa |
Claw Conditions for Heavy Cycles in Weighted Graphs. |
Graphs Comb. |
2005 |
DBLP DOI BibTeX RDF |
Heavy cycle, Fan-type condition, Claw, Modified claw, Weighted graph |
16 | Conchita Martínez-Pérez, Wolfgang Willems |
On the Weight Hierarchy of Product Codes. |
Des. Codes Cryptogr. |
2004 |
DBLP DOI BibTeX RDF |
weight hierarchy, chain condition, product code |
16 | Daniel Dekkers, Kees van Overveld, Rob Golsteijn |
Combining CSG modeling with soft blending using Lipschitz-based implicit surfaces. |
Vis. Comput. |
2004 |
DBLP DOI BibTeX RDF |
Smooth blending, Lipschitz condition, Implicit surface |
16 | Eric Ying Kwong Chan, Pak-Lok Poon, Yuen-Tak Yu |
On the Testing of Particular Input Conditions. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
particular condition, test-a-few approach, test-once approach, software testing, Black box testing, test case selection |
16 | Yuen-Tak Yu, Man Fai Lau |
Comparing Several Coverage Criteria for Detecting Faults in Logical Decisions. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
Condition coverage, decision coverage, logical decisions, MUMCUT, coverage criteria, MC/DC |
16 | Robert D. Merrifield, Quan Long, X. Y. Xu, Philip J. Kilner, David N. Firmin, Guang-Zhong Yang |
Combined CFD/MRI Analysis of Left Ventricular Flow. |
MIAR |
2004 |
DBLP DOI BibTeX RDF |
Cardiovascular Magnetic Resonance, Left Ventricle Flow. Boundary Condition, Computational Fluid Dynamics |
16 | Yutae Lee, Kye Sang Lee |
Discrete-Time GeoX/G/1 Queue with Preemptive Repeat Different Priority. |
Queueing Syst. Theory Appl. |
2003 |
DBLP DOI BibTeX RDF |
preemptive repeat different, stability condition, system contents, discrete-time queue, completion time |
16 | Xinying Zhang, Sun-Yuan Kung |
COD: Diversity-Adaptive Subspace Processing for Multipath Separation and Signal Recovery. |
J. VLSI Signal Process. |
2002 |
DBLP DOI BibTeX RDF |
multipath separability condition, subspace processing, temporal oversampling, spatial displacement, DOA estimation, signal recovery, smart antenna |
16 | Chih-Fang Wang, Sartaj Sahni |
Computational Geometry On The OTIS-Mesh Optoelectronic Computer. |
ICPP |
2002 |
DBLP DOI BibTeX RDF |
optoelectronic computer, smallest enclosing box, ECDF, two-set dominance, maximal points, prefix sum with condition, convex hull, OTIS-Mesh, closest-pair, all-nearest neighbor |
16 | Kun Huang 0001, Robert M. Fossum, Yi Ma 0001 |
Generalized Rank Conditions in Multiple View Geometry with Applications to Dynamical Scenes. |
ECCV (2) |
2002 |
DBLP DOI BibTeX RDF |
rank condition, multiple view matrix, formation detection, segmentation, structure from motion, occlusion, dynamical scenes, multiple view geometry |
16 | Jan-J. Rückmann, Oliver Stein |
On Linear and Linearized Generalized Semi-Infinite Optimization Problems. |
Ann. Oper. Res. |
2001 |
DBLP DOI BibTeX RDF |
generalized semi-infinite optimization, linearized problem, disjunctive optimization, mai-point, level set, duality, optimality condition |
16 | Roger Van Keer, Marián Slodicka |
Numerical Techniques for the Recovery of an Unknown Dirichlet Data Function in Semilinear Parabolic Problems with Nonstandard Boundary Conditions. |
NAA |
2000 |
DBLP DOI BibTeX RDF |
nonlocal boundary condition, semilinear parabolic BVP 2000 MSC: 35K20, 35B30, 65N40, parameter identification |
16 | Hassan Gomaa, Shaoying Liu, Michael E. Shin |
Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
domain modeling method, families of systems, SOFL formal specification language, multiple view object oriented analysis model, aggregation hierarchies, generalization/specialization hierarchies, UML static modeling notation, object communication diagrams, SOFL condition data flow diagram notation, variant classes, specification languages, application domain |
16 | Thilo Penzl |
Numerical solution of generalized Lyapunov equations. |
Adv. Comput. Math. |
1998 |
DBLP DOI BibTeX RDF |
generalized Lyapunov equation, generalized Stein equation, 93B40, 93B51, 65F15, mathematical software, 65F05, condition estimation |
Displaying result #201 - #300 of 17251 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|