Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
82 | Milan Vojnovic, Jean-Yves Le Boudec |
On the long-run behavior of equation-based rate control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 13(3), pp. 568-581, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
internet, congestion control, TCP, TCP-friendly, equation-based rate control |
69 | Jérôme Durand-Lose |
Reversible Conservative Rational Abstract Geometrical Computation Is Turing-Universal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 163-172, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
2-counter automata, Reversibility, Conservativeness, Turing-computability, Rational numbers, Abstract geometrical computation |
59 | Yoshihiro Sakayanagi, Shigeki Nakaura, Mitsuji Sampei |
Conservativeness of State-Dependent Riccati Inequality : Effect of free parameters of State-Dependent Coefficient form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 4147-4151, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
49 | Milan Vojnovic, Jean-Yves Le Boudec |
On the long-run behavior of equation-based rate control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 2002 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 19-23, 2002, Pittsburgh, PA, USA, pp. 103-116, 2002, ACM, 1-58113-570-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
palm calculus, internet, congestion control, TCP-friendly, point processes, equation-based rate control |
33 | King Sing Cheung, K. O. Chow |
Property-Preserving Composition of Distributed System Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPT ![In: Advanced Parallel Processing Technologies, 7th International Symposium, APPT 2007, Guangzhou, China, November 22-23, 2007, Proceedings, pp. 111-120, 2007, Springer, 978-3-540-76836-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Sanjay Jain 0001, Steffen Lange, Sandra Zilles |
Towards a Better Understanding of Incremental Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings, pp. 169-183, 2006, Springer, 3-540-46649-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Sanjay Jain 0001, Frank Stephan 0001 |
Learning How to Separate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001, Proceedings, pp. 219-234, 2001, Springer, 3-540-42875-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Giovanni M. Bianco, Riccardo Cassinis |
Biologically-Inspired Visual Landmark Learning for Mobile Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWLR ![In: Advances in Robot Learning, 8th European Workshop on Learning Robots, EWLR-8, Lausanne, Switzerland, September 18, 1999, Proceedings, pp. 138-164, 1999, Springer, 3-540-41162-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Sivaramakrishnan Ramani, Archis Ghate |
A Family of \(\boldsymbol{s}\)-Rectangular Robust MDPs: Relative Conservativeness, Asymptotic Analyses, and Finite-Sample Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Optim. ![In: SIAM J. Optim. 34(2), pp. 1540-1568, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
26 | Yu Zhou 0040, Kris Hauser |
CPI: Conservativeness, Permissiveness and Intervention Metrics for Shared Control Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 7(3), pp. 6367-6374, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Yiheng Wei, Yangquan Chen |
Converse Lyapunov Theorem for Nabla Asymptotic Stability Without Conservativeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 52(4), pp. 2676-2687, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Ziqi Wang 0004, Marco Loog |
Enhancing Classifier Conservativeness and Robustness by Polynomiality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.12693, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Reza Yavari, Arash Sadeghzadeh, Saeed Shamaghdari |
Robust gain-scheduled output feedback H2 controller synthesis with reduced conservativeness: An application to EMS system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Inst. Meas. Control ![In: Trans. Inst. Meas. Control 44(13), pp. 2616-2629, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Jie Liu 0005, Yubo Xu |
T-Friedman Test: A New Statistical Test for Multiple Comparison with an Adjustable Conservativeness Measure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Intell. Syst. ![In: Int. J. Comput. Intell. Syst. 15(1), pp. 29, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Ziqi Wang 0004, Marco Loog |
Enhancing Classifier Conservativeness and Robustness by Polynomiality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2022, New Orleans, LA, USA, June 18-24, 2022, pp. 13317-13326, 2022, IEEE, 978-1-6654-6946-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Hongchang Zhang, Jianzhun Shao, Yuhang Jiang, Shuncheng He, Xiangyang Ji |
Reducing Conservativeness Oriented Offline Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.00098, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
26 | Jia-Jie Zhu, Bernhard Schölkopf, Moritz Diehl |
A Kernel Mean Embedding Approach to Reducing Conservativeness in Stochastic Programming and Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.10398, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
26 | Arash Sadeghzadeh, Roland Tóth |
Linear Parameter-Varying Embedding of Nonlinear Models with Reduced Conservativeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.03496, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
26 | Boyu Qin, Jin Ma 0001, Wei Li 0058, Tao Ding, Haoyuan Sun, Albert Y. Zomaya |
Decomposition-Based Stability Analysis for Isolated Power Systems With Reduced Conservativeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 17(3), pp. 1623-1632, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Jia-Jie Zhu, Bernhard Schölkopf, Moritz Diehl |
A Kernel Mean Embedding Approach to Reducing Conservativeness in Stochastic Programming and Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
L4DC ![In: Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, L4DC 2020, Online Event, Berkeley, CA, USA, 11-12 June 2020., pp. 915-923, 2020, PMLR. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
26 | Jiaying Lai, Indra Neil Sarkar |
A Phylogenetic Approach to Analyze the Conservativeness of BRCA1 and BRCA2 Mutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2020, American Medical Informatics Association Annual Symposium, Virtual Event, USA, November 14-18, 2020, 2020, AMIA. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
26 | Jean Lerbet, Noël Challamel, François Nicot, Félix Darve |
Geometric Degree of Non Conservativeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GSI ![In: Geometric Science of Information - Third International Conference, GSI 2017, Paris, France, November 7-9, 2017, Proceedings, pp. 355-358, 2017, Springer, 978-3-319-68444-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Ahmed Jaballi, Ahmed El Hajjaji, Anis Sakly |
Reducing conservativeness of stabilization conditions for switched TS fuzzy systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 193, pp. 51-57, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Chuan-Ke Zhang, Yong He 0003, Lin Jiang 0001, Min Wu 0002 |
Stability Analysis for Delayed Neural Networks Considering Both Conservativeness and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks Learn. Syst. ![In: IEEE Trans. Neural Networks Learn. Syst. 27(7), pp. 1486-1501, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Daniel Jiwoong Im, Mohamed Ishmael Diwan Belghazi, Roland Memisevic |
Conservativeness of Untied Auto-Encoders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA., pp. 1694-1700, 2016, AAAI Press, 978-1-57735-760-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Irene Castro-Conde, Jacobo de Uña-Álvarez |
Power, FDR and conservativeness of BB-SGoF method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stat. ![In: Comput. Stat. 30(4), pp. 1143-1161, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Daniel Jiwoong Im, Mohamed Ishmael Diwan Belghazi, Roland Memisevic |
Conservativeness of untied auto-encoders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1506.07643, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
26 | Xiang Chen 0011, Yu Feng 0002, Guoxiang Gu |
On design conservativeness in networked control over a quantized lossy channel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASCC ![In: 10th Asian Control Conference, ASCC 2015, Kota Kinabalu, Malaysia, May 31 - June 3, 2015, pp. 1-5, 2015, IEEE, 978-1-4799-7862-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Blazej Cichy, Krzysztof Galkowski, Eric Rogers |
Reducing conservativeness in robust iterative learning control (ILC) design using parameter-dependent Lyapunov functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2015, Chicago, IL, USA, July 1-3, 2015, pp. 4898-4903, 2015, IEEE, 978-1-4799-8684-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Donatello Materassi, Murti V. Salapaka |
An algorithmic approach for lessening conservativeness of criteria determining absolute stability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MED ![In: 23rd Mediterranean Conference on Control and Automation, MED 2015, Torremolinos, Malaga, Spain, June 16-19, 2015, pp. 571-576, 2015, IEEE, 978-1-4799-9936-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Chan Y. Park, Nam H. Kim, Raphael T. Haftka |
How coupon and element tests reduce conservativeness in element failure prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 123, pp. 123-136, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Jirí Ajgl, Miroslav Simandl |
Conservativeness of estimates given by probability density functions: Formulation and aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Fusion ![In: Inf. Fusion 20, pp. 117-128, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Siyun Wang, Michael Baldea |
Conservativeness and stability properties in the optimal design of dynamical systems under uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2014, Portland, OR, USA, June 4-6, 2014, pp. 3524-3529, 2014, IEEE, 978-1-4799-3272-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Huizhu Wang, Seong-Hee Kim |
Reducing the Conservativeness of Fully Sequential Indifference-Zone Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 58(6), pp. 1613-1619, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Dae Young Kim, Jin Bae Park, Young Hoon Joo |
Reducing conservativeness in stability conditions of affine fuzzy systems using fuzzy Lyapunov function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2013, IEEE International Conference on Fuzzy Systems, Hyderabad, India, 7-10 July, 2013, Proceedings., pp. 1-5, 2013, IEEE, 978-1-4799-0020-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Jirí Ajgl, Miroslav Simandl |
On conservativeness of posterior density fusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUSION ![In: Proceedings of the 16th International Conference on Information Fusion, FUSION 2013, Istanbul, Turkey, July 9-12, 2013, pp. 85-92, 2013, IEEE, 978-605-86311-1-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
26 | Francesca Poggiolesi |
Conservativeness and Eliminability for Anti-Realistic Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Realism-Antirealism Debate in the Age of Alternative Logics ![In: The Realism-Antirealism Debate in the Age of Alternative Logics, pp. 169-180, 2012, Springer, 978-94-007-1922-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Jeremy H. Gillula, Claire J. Tomlin |
Reducing Conservativeness in Safety Guarantees by Learning Disturbances Online: Iterated Guaranteed Safe Online Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics: Science and Systems ![In: Robotics: Science and Systems VIII, University of Sydney, Sydney, NSW, Australia, July 9-13, 2012, 2012, 978-0-262-51968-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
26 | Peter-Paul van Maanen, Teun Lucassen, Kees van Dongen |
Adaptive Attention Allocation Support: Effects of System Conservativeness and Human Competence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (20) ![In: Foundations of Augmented Cognition. Directing the Future of Adaptive Systems - 6th International Conference, FAC 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings, pp. 647-656, 2011, Springer, 978-3-642-21851-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Leonardo A. Mozelli, Reinaldo M. Palhares, Fernando de Oliveira Souza, Eduardo M. A. M. Mendes |
Reducing conservativeness in recent stability conditions of TS fuzzy systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 45(6), pp. 1580-1583, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Antonio Sala 0001 |
On the conservativeness of fuzzy and fuzzy-polynomial control of nonlinear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annu. Rev. Control. ![In: Annu. Rev. Control. 33(1), pp. 48-58, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Jacek Banasiak, Suares Clovis Oukouomi Noutchie |
Conservativeness in nonlocal fragmentation models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Model. ![In: Math. Comput. Model. 50(7-8), pp. 1229-1236, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | King Sing Cheung |
Boundedness and conservativeness of augmented marked graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMA J. Math. Control. Inf. ![In: IMA J. Math. Control. Inf. 24(2), pp. 235-244, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Cezary Cieslinski |
Deflationism, Conservativeness and Maximality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 36(6), pp. 695-705, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Mika Koganeyama, Naoshi Tabuchi, Takaaki Tateishi |
Reducing Unnecessary Conservativeness in Access Rights Analysis with String Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan, pp. 438-445, 2007, IEEE Computer Society, 0-7695-3057-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín |
Envelopes, indicators and conservativeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 52(1), pp. 51-70, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Brian J. Driessen |
Overlapping-multi-layer deadzone for alleviating over conservativeness in robot adaptive tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Control. Lett. ![In: Syst. Control. Lett. 55(3), pp. 240-246, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Zhongwei Yu, Huitang Chen, Peng-Yung Woo |
Conservativeness-Reduced Design of a Gain Scheduled Hinfinity Controller for a Robotic Manipulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2002 IEEE International Conference on Robotics and Automation, ICRA 2002, May 11-15, 2002, Washington, DC, USA, pp. 2632-2637, 2002, IEEE, 0-7803-7273-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Alexander A. Ageev, Alexandr V. Kostochka |
Vertex Set Partitions Preserving Conservativeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. B ![In: J. Comb. Theory, Ser. B 80(2), pp. 202-217, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Masahiko Sato 0001, Yukiyoshi Kameyama |
Conservativeness of Lambda over lambda-sigma-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Language and Computation ![In: Logic, Language and Computation, Festschrift in Honor of Satoru Takasu, pp. 73-94, 1994, Springer, 0-387-57935-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Zofia Adamowicz |
A Contribution to the End-Extension Problem and the Pi1 Conservativeness Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 61(1-2), pp. 3-48, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Eiji Takimoto, Akira Maruoka |
Conservativeness and Monotonicity for Learning Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT ![In: Proceedings of the Sixth Annual ACM Conference on Computational Learning Theory, COLT 1993, Santa Cruz, CA, USA, July 26-28, 1993., pp. 377-383, 1993, ACM, 0-89791-611-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Hartry Field |
A nominalistic proof of the conservativeness of set theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 21(2), pp. 111-123, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | John McGough, Mark Smotherman, Kishor S. Trivedi |
The Conservativeness of Reliability Estimates Based on Instantaneous Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 34(7), pp. 602-609, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Andreas von Dziegielewski, Rainer Erbes, Elmar Schömer |
Conservative swept volume boundary approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid and Physical Modeling ![In: ACM Symposium on Solid and Physical Modeling, Proceedings of the 15th ACM Symposium on Solid and Physical Modeling, SPM 2010, Haifa, Israel, September 1-3, 2010, pp. 171-176, 2010, ACM, 978-1-60558-984-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Jinhui Zhang, Yuanqing Xia, Ran Tao 0003 |
New Results on H∞ Filtering for Fuzzy Time-Delay Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 17(1), pp. 128-137, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | John Case, Timo Kötzing |
Difficulties in Forcing Fairness of Polynomial Time Inductive Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009. Proceedings, pp. 263-277, 2009, Springer, 978-3-642-04413-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Mircea Lazar, Andrej Jokic |
Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings, pp. 237-251, 2009, Springer, 978-3-642-00601-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Xi-Ming Sun, Wei Wang 0036, Guo-Ping Liu 0003, Jun Zhao 0004 |
Stability Analysis for Linear Switched Systems With Time-Varying Delay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 38(2), pp. 528-533, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Laurence Tratt |
Language design: back to the future? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLS ![In: Proceedings of the 2008 Symposium on Dynamic Languages, DLS 2008, July 8, 2008, Paphos, Cyprus, pp. 5, 2008, ACM, 978-1-60558-270-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Stefano Di Cairano, Mircea Lazar, Alberto Bemporad, W. P. M. H. Heemels |
A Control Lyapunov Approach to Predictive Control of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings, pp. 130-143, 2008, Springer, 978-3-540-78928-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Ajinkya Bhave, Bruce H. Krogh |
Performance bounds on state-feedback controllers with network delay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 4608-4613, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Ferreira Coutinho, Minyue Fu 0001, Carlos E. de Souza |
Output feedback control of linear systems with input and output quantization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 4706-4711, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Hiroyuki Ichihara |
State feedback synthesis for polynomial systems with bounded disturbances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 2520-2525, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Sven Creutz Thomsen, Henrik Niemann, Niels Kjølstad Poulsen |
MPC for uncertain systems using the Youla parameterizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 3421-3426, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | José Claudio Geromel, Patrizio Colaneri |
Hinfinity and dwell time specifications of switched linear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 5318-5323, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Yonggang Chen, Tiheng Qin |
Improved Global Exponential Stability Criterion for BAM Neural Networks with Time-Varying Delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2008, 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part I, pp. 128-137, 2008, Springer, 978-3-540-87731-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
BAM neural networks, Linear matrix inequality, Exponential stability, Time-varying delay |
16 | Yonggang Chen, Yanhui Zhang, Qingbo Li |
Delay-dependent absolute stability of lur'e systems with interval time-varying delay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2008, Hainan, China, 6-8 April 2008, pp. 1696-1699, 2008, IEEE, 978-1-4244-1685-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Julien Cojan, Jean Lieber |
Conservative Adaptation in Metric Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCBR ![In: Advances in Case-Based Reasoning, 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings, pp. 135-149, 2008, Springer, 978-3-540-85501-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
conservative adaptation, case representation, adaptation, belief revision, metric spaces |
16 | Marius Kloetzer, Calin Belta |
Managing non-determinism in symbolic robot motion planning and control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 3110-3115, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Hak-Keung Lam, Chun Wan Yeung, Frank H. F. Leung |
Stability Analysis and Performance Deign for Fuzzy-Model-Based Control System under Imperfect Premise Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, UK, 23-26 July, 2007, Proceedings, pp. 1-6, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Sanjay Jain 0001, Frank Stephan 0001 |
Learning in Friedberg Numberings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 18th International Conference, ALT 2007, Sendai, Japan, October 1-4, 2007, Proceedings, pp. 79-93, 2007, Springer, 978-3-540-75224-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Lianqing Su, Zhifeng Gao, Jiqing Qiu, Peng Shi 0001 |
Robust Stability of Uncertain Cellular Neural Networks with Time-Varying Delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD (3) ![In: Proceedings of the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2007, July 30 - August 1, 2007, Qingdao, China, pp. 423-426, 2007, IEEE Computer Society, 0-7695-2909-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | 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 |
|
16 | Cristian Versari, Nadia Busi |
Stochastic Simulation of Biological Systems with Dynamical Compartment Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology, International Conference, CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings, pp. 80-95, 2007, Springer, 978-3-540-75139-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Kévin Huguenin, Maria-João Rendas |
Distributed adaptive sampling using bounded-errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ROBOCOMM ![In: Proceedings of the 1st International Conference on Robot Communication and Coordination, ROBOCOMM 2007, Athens, Greece, October 15-17, 2007, pp. 54, 2007, ICST/ACM, 978-963-9799-08-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Chong Lin, Yong He, Lei Guo 0003, Shengyuan Xu |
Stability Analysis for Time-Delay Fuzzy Systems Using Augmented Lyapunov Functional Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICIC (3) ![In: First International Conference on Innovative Computing, Information and Control (ICICIC 2006), 30 August - 1 September 2006, Beijing, China, pp. 500-503, 2006, IEEE Computer Society, 0-7695-2616-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Chien-Yu Lu, Te-Jen Su, Wen-Jye Shyr |
A New Delay-Dependent Approach to Robust Stability for Uncertain Hybrid Bidirectional Associative Memory Neural Networks with Time-Varying Delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICIC (1) ![In: First International Conference on Innovative Computing, Information and Control (ICICIC 2006), 30 August - 1 September 2006, Beijing, China, pp. 591-594, 2006, IEEE Computer Society, 0-7695-2616-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
bidirectional associative memory neural networks, linear matrix inequality, robust stability, Time-varying delays, parameter uncertainty |
16 | Jiqing Qiu, Jinhui Zhang |
New Robust Stability Criterion for Uncertain Fuzzy Systems with Fast Time-Varying Delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD ![In: Fuzzy Systems and Knowledge Discovery, Third International Conference, FSKD 2006, Xi'an, China, September 24-28, 2006, Proceedings, pp. 41-44, 2006, Springer, 3-540-45916-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Daewon Lee, Jaewook Lee 0001 |
Support Vector Classifier Using Basin-Based Sampling for Security Assessment of Nonlinear Power and Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2006, part of the IEEE World Congress on Computational Intelligence, WCCI 2006, Vancouver, BC, Canada, 16-21 July 2006, pp. 4369-4374, 2006, IEEE, 0-7803-9490-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Rachid Bouyekhf, Abdellah El Moudni |
On the analysis of some structural properties of Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 35(6), pp. 784-794, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Shengyuan Xu, James Lam, Daniel W. C. Ho, Yun Zou |
Improved global robust asymptotic stability criteria for delayed cellular neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 35(6), pp. 1317-1321, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Dimiter Vakarelov |
Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 80(2-3), pp. 393-430, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Nelson negation, subminimal logic, counterexample semantics, many-valued logics |
16 | Max Hailperin |
Comparing conservative coalescing criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 27(3), pp. 571-582, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Copy propagation, graph coloring, register allocation, register coalescing |
16 | Hoong Chuin Lau, Thomas Ou, Melvyn Sim |
Robust Temporal Constraint Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 14-16 November 2005, Hong Kong, China, pp. 82-88, 2005, IEEE Computer Society, 0-7695-2488-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Uncertainty, Temporal constraints, Planning and Scheduling |
16 | Cheng-Zhong Xu 0001, Tamer I. Ibrahim |
A Keyword-Based Semantic Prefetching Approach in Internet News Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 16(5), pp. 601-611, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
NewsAgent, personalized news service, semantic locality, neural networks, prefetching |
16 | Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín |
On the quantifier complexity of bigtriangleupn+1 (T)? induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 43(3), pp. 371-398, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
n+1, Quantifier complexity, Induction, formulas |
16 | Le Feng, Jian Liang Wang, Eng Kee Poh |
Off-line formulation of robust model predictive control based on several Lyapunov functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 8th International Conference on Control, Automation, Robotics and Vision, ICARCV 2004, Kunming, China, 6-9 December 2004, Proceedings, pp. 1705-1710, 2004, IEEE, 0-7803-8653-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Katsumi Inoue, Haruka Saito |
Circumscription Policies for Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings, pp. 164-179, 2004, Springer, 3-540-22941-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Giancarlo Mauri, Alberto Leporati |
On the Computational Complexity of Conservative Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2003, 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings, pp. 92-112, 2003, Springer, 3-540-40671-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Seongho Cho, Heekyoung Woo, Jongwon Lee |
ATFRC: Adaptive TCP Friendly Rate Control Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOIN ![In: Information Networking, Networking Technologies for Enhanced Internet Services International Conference, ICOIN 2003, Cheju Island, Korea, February 12-14, 2003, Revised Selected Papers, pp. 171-180, 2003, Springer, 3-540-40827-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Harry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
Synchronous approach to the functional equivalence of embeddedsystem implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(8), pp. 1016-1033, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum |
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings, pp. 107-126, 2000, Springer, 3-540-67944-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Chris Wilson, David L. Dill |
Reliable verification using symbolic simulation with scalar values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 37th Conference on Design Automation, Los Angeles, CA, USA, June 5-9, 2000., pp. 124-129, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Kensuke Hasegawa, Paulo E. Miyagi, Diolino J. Santos Filho, Kouji Takahashi, Li-qu Ma, Makiko Sugisawa |
On Resource Arc for Petri Net Modelling of Complex Resource Sharing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 26(3-4), pp. 423-437, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
discrete production systems, Production Flow Schema (PFS), Mark Flow Graph (MFG), Petri nets, resource sharing |
16 | A. D. Yashin |
New Intuitionistic Logical Constants: Undecidability of the Conservativsness Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers, pp. 460-471, 1996, Springer, 3-540-63172-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Enrique Teruel, Piotr Chrzastowski-Wachtel, José Manuel Colom, Manuel Silva Suárez |
On Weighted T-Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings, pp. 348-367, 1992, Springer, 3-540-55676-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
weighted T-graphs, Structure theory, Marked Graphs |