|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2007), 27-20 May 2007, New Orleans, Louisiana, USA, pp. 1767-1770, 2007, IEEE, 1-4244-0920-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Yoichi Tomioka, Atsushi Takahashi 0001 |
Monotonic parallel and orthogonal routing for single-layer ball grid array packages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, Yokohama, Japan, January 24-27, 2006, pp. 642-647, 2006, IEEE, 0-7803-9451-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Jiaying Shen, Raphen Becker, Victor R. Lesser |
Agent interaction in distributed POMDPs and its implications on complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 529-536, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
distributed POMDP, interaction, complexity |
17 | Chunxiao Ye, Zhongfu Wu |
Using XML and XACML to Support Attribute Based Delegation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Fifth International Conference on Computer and Information Technology (CIT 2005), 21-23 September 2005, Shanghai, China, pp. 751-756, 2005, IEEE Computer Society, 0-7695-2432-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Oren Ben-Zwi, Shlomit S. Pinter |
Handling Sensed Data in Hostile Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSN ![In: Mobile Ad-hoc and Sensor Networks, First International Conference, MSN 2005, Wuhan, China, December 13-15, 2005, Proceedings, pp. 433-442, 2005, Springer, 3-540-30856-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Olha Shkaravska |
Types with semantics: soundness proof assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MERLIN ![In: ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2005, Tallinn, Estonia, September 30, 2005, pp. 50-57, 2005, ACM, 978-1-59593-072-9. The full citation details ...](Pics/full.jpeg) |
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?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings, pp. 333-336, 2004, Springer, 3-540-21268-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2004 Conference on Human Factors in Computing Systems, CHI 2004, Vienna, Austria, April 24 - 29, 2004, pp. 191-198, 2004, ACM, 1-58113-702-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 31(5), pp. 339-391, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
compiler optimization, instruction-level parallelism, software pipelining, VLIW |
17 | J Strother Moore |
Inductive Assertions and Operational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings, pp. 289-303, 2003, Springer, 3-540-20363-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Pierre Deransart, Jan-Georg Smaus |
Well-Typed Logic Programs Are not Wrong. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings, pp. 280-295, 2001, Springer, 3-540-41739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Ruey-Wen Liu, Yujiro Inouye |
Direct blind deconvolution of multiuser-multichannel systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30 - June 2, 1999, pp. 49-52, 1999, IEEE, 0-7803-5471-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Carl Pixley, Vigyan Singhal, Adnan Aziz, Robert K. Brayton |
Multi-level synthesis for safe replaceability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1994, San Jose, California, USA, November 6-10, 1994, pp. 442-449, 1994, IEEE Computer Society / ACM, 0-89791-690-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Sharma Chakravarthy, Susan Nesson |
Making an Object-Oriented DBMS Active: Design, Implementation, and Evaluation of a Prototype. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT'90. International Conference on Extending Database Technology, Venice, Italy, March 26-30, 1990, Proceedings, pp. 393-406, 1990, Springer, 3-540-52291-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Ranjan Chaudhuri, Hartmut Höft |
On rational solution of the state equation of a finite automation (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 437, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Qual. Reliab. Eng. Int. ![In: Qual. Reliab. Eng. Int. 40(1), pp. 339-361, February 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 241, pp. 109694, January 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Model. Anal. ![In: Math. Model. Anal. 29(2), pp. 309-330, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPHM ![In: IEEE International Conference on Prognostics and Health Management, ICPHM 2023, Montreal, QC, Canada, June 5-7, 2023, pp. 200-204, 2023, IEEE, 979-8-3503-4625-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPHM ![In: IEEE International Conference on Prognostics and Health Management, ICPHM 2023, Montreal, QC, Canada, June 5-7, 2023, pp. 134-138, 2023, IEEE, 979-8-3503-4625-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Math. ![In: SIAM J. Appl. Math. 82(3), pp. 1020-1044, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 214, pp. 107743, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 99, pp. 323-328, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.04767, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
16 | Dave Dice, Alex Kogan |
Ready When You Are: Efficient Condition Variables via Delegated Condition Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.06961, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Medicine ![In: Comput. Biol. Medicine 138, pp. 104869, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 411, pp. 109400, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mark. Sci. ![In: Mark. Sci. 39(6), pp. 1092-1104, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITSC ![In: 23rd IEEE International Conference on Intelligent Transportation Systems, ITSC 2020, Rhodes, Greece, September 20-23, 2020, pp. 1-8, 2020, IEEE, 978-1-7281-4149-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 37(4), pp. 5767-5775, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 88254-88263, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Ambient Comput. Intell. ![In: Int. J. Ambient Comput. Intell. 10(4), pp. 25-44, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHFE (2) ![In: Advances in Neuroergonomics and Cognitive Engineering - Proceedings of the AHFE 2019 International Conference on Neuroergonomics and Cognitive Engineering, and the AHFE International Conference on Industrial Cognitive Ergonomics and Engineering Psychology, Washington, DC, USA, July 24-28, 2019, pp. 411-416, 2019, Springer, 978-3-030-20472-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electron. Agric. ![In: Comput. Electron. Agric. 152, pp. 340-349, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Optim. Theory Appl. ![In: J. Optim. Theory Appl. 179(3), pp. 944-961, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 14(9), 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 337, pp. 290-318, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Shoichoi Tsuchiya, Takamasa Yashima |
A degree condition implying Ore-type condition for even [2, b]-factors in graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discuss. Math. Graph Theory ![In: Discuss. Math. Graph Theory 37(3), pp. 797-809, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 314, pp. 80-97, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Graph Algorithms Appl. ![In: J. Graph Algorithms Appl. 21(3), pp. 341-352, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WALCOM ![In: WALCOM: Algorithms and Computation - 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings, pp. 107-113, 2016, Springer, 978-3-319-30138-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHASE ![In: Proceedings of the First IEEE International Conference on Connected Health: Applications, Systems and Engineering Technologies, CHASE 2016, Washington, DC, USA, June 27-29, 2016, pp. 48-53, 2016, IEEE Computer Society, 978-1-5090-0943-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHASE ![In: Proceedings of the First IEEE International Conference on Connected Health: Applications, Systems and Engineering Technologies, CHASE 2016, Washington, DC, USA, June 27-29, 2016, pp. 322-323, 2016, IEEE Computer Society, 978-1-5090-0943-5. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Optim. Theory Appl. ![In: J. Optim. Theory Appl. 165(1), pp. 225-241, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 281, pp. 239-249, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 44(7), pp. 877-893, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Bairong Wu, Zhigang Tian, Mingyuan Chen |
Condition-based Maintenance Optimization Using Neural Network-based Health Condition Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Qual. Reliab. Eng. Int. ![In: Qual. Reliab. Eng. Int. 29(8), pp. 1151-1163, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Linear Algebra Appl. ![In: Numer. Linear Algebra Appl. 19(4), pp. 639-654, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEEI ![In: International Conference on Electrical Engineering and Informatics, ICEEI 2011, Bandung, Indonesia, 17-19 July, 2011, pp. 1-4, 2011, IEEE, 978-1-4577-0753-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Hamid Reza Golmakani |
Cost-effective condition-based inspection scheme for condition-based maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRI ![In: Proceedings of the IEEE International Conference on Information Reuse and Integration, IRI 2011, 3-5 August 2011, Las Vegas, Nevada, USA, pp. 327-330, 2011, IEEE Systems, Man, and Cybernetics Society, 978-1-4577-0964-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
16 | Zhengwei Yang, Liping Di, Genong Yu, Zeqiang Chen |
Vegetation condition indices for crop vegetation condition monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: 2011 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2011, Vancouver, BC, Canada, July 24-29, 2011, pp. 3534-3537, 2011, IEEE, 978-1-4577-1003-2. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 199(2), pp. 512-526, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Linear Algebra Appl. ![In: Numer. Linear Algebra Appl. 12(2-3), pp. 95-102, 2005. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
16 | Yiming Wei 0001, Wei Xu |
Condition number of Bott-Duffin inverse and their condition numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 142(1), pp. 79-97, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 146(2-3), pp. 455-467, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 34(1-4), pp. 237-268, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Willard L. Miranker, Moshe Goldberg |
A note comparing the root condition and the resolvent condition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 4(3-4), pp. 285-288, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
16 | Rupesh Tulshyan, Ramnik Arora, Kalyanmoy Deb, Joydeep Dutta |
Investigating EA solutions for approximate KKT conditions in smooth problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, pp. 689-696, 2010, ACM, 978-1-4503-0072-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, pp. 55-64, 2010, ACM, 978-1-60558-888-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (4) ![In: Human-Computer Interaction. Interacting in Various Application Domains, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part IV, pp. 488-494, 2009, Springer, 978-3-642-02582-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part II, pp. 235-241, 2009, Springer, 978-3-642-01509-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part I, pp. 643-650, 2009, Springer, 978-3-642-01506-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA ![In: Independent Component Analysis and Signal Separation, 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings, pp. 25-33, 2009, Springer, 978-3-642-00598-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEGOV ![In: ICEGOV 2009, Proceedings of the 3rd International Conference on Theory and Practice of Electronic Governance, Bogota, Colombia, November 10-13, 2009, pp. 19-26, 2009, ACM, 978-1-60558-663-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 15th Annual International Conference, COCOON 2009, Niagara Falls, NY, USA, July 13-15, 2009, Proceedings, pp. 287-296, 2009, Springer, 978-3-642-02881-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 5(3), pp. 416-422, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 26(4), pp. 9:1-9:68, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 51(2), pp. 200-235, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 200-209, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom ![In: Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 17-21 March 2008, Hong Kong, pp. 698-703, 2008, IEEE Computer Society, 978-0-7695-3113-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 734-741, 2008, Springer, 978-3-540-85983-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 1(1), pp. 71-109, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Managing Traffic Performance in Converged Networks, 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007, Proceedings, pp. 335-347, 2007, Springer, 978-3-540-72989-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCTA ![In: Computer And Computing Technologies In Agriculture, Volume II, First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007, pp. 1391-1395, 2007, Springer, 978-0-387-77252-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fluent, simulation, boundary condition |
16 | Guoqing Zhou 0002, Taebo Shim |
Adaptive Transmission Technique in Underwater Acoustic Wireless Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICES ![In: Evolvable Systems: From Biology to Hardware, 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, Proceedings, pp. 268-276, 2007, Springer, 978-3-540-74625-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC 2007, Portland, Oregon, USA, August 12-15, 2007, pp. 43-52, 2007, ACM, 978-1-59593-616-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIARP ![In: Progress in Pattern Recognition, Image Analysis and Applications, 12th Iberoamericann Congress on Pattern Recognition, CIARP 2007, Valparaiso, Chile, November 13-16, 2007, Proceedings, pp. 61-70, 2007, Springer, 978-3-540-76724-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DICTA ![In: Proceedings of the International Conference on Digital Image Computing: Techniques and Applications, DICTA 2007, 3-5 December 2007, Adelaide, Australia, pp. 402-407, 2007, IEEE Computer Society, 0-7695-3067-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 10(3), pp. 264-271, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 15(4), pp. 410-457, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 13th ACM Conference on Computer and Communications Security, CCS 2006, Alexandria, VA, USA, October 30 - November 3, 2006, pp. 311-321, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW ![In: Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings, pp. 47-62, 2006, Springer, 3-540-35362-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Proceedings, pp. 387-399, 2006, Springer, 3-540-38444-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, pp. 1029-1034, 2006, ACM, 1-59593-381-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
envelope following, phase condition, least squares |
16 | Jun Fujisawa |
Claw Conditions for Heavy Cycles in Weighted Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 21(2), pp. 217-229, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 33(2), pp. 95-108, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 20(6), pp. 380-391, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings, pp. 318-325, 2004, IEEE Computer Society, 0-7695-2209-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: 4th International Conference on Quality Software (QSIC 2004), 8-10 September 2004, Braunschweig, Germany, pp. 14-21, 2004, IEEE Computer Society, 0-7695-2207-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIAR ![In: Medical Imaging and Augmented Reality: Second International Workshop, MIAR2004, Beijing, China, August 19-20, 2004. Proceedings, pp. 229-236, 2004, Springer, 3-540-22877-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 44(4), pp. 399-411, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 30(1-3), pp. 235-256, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: 31st International Conference on Parallel Processing (ICPP 2002), 20-23 August 2002, Vancouver, BC, Canada, pp. 501-510, 2002, IEEE Computer Society, 0-7695-1677-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (2) ![In: Computer Vision - ECCV 2002, 7th European Conference on Computer Vision, Copenhagen, Denmark, May 28-31, 2002, Proceedings, Part II, pp. 201-216, 2002, Springer, 3-540-43744-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 101(1-4), pp. 191-208, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NAA ![In: Numerical Analysis and Its Applications, Second International Conference, NAA 2000, Rousse, Bulgaria, June 11-15, 2000, Revised Papers, pp. 467-474, 2000, Springer, 3-540-41814-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan, pp. 61-71, 2000, IEEE Computer Society, 0-7695-0583-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 8(1-2), pp. 33-48, 1998. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|