×

Found 163 Documents (Results 1–100)

Kaki: concurrent update synthesis for regular policies via Petri games. (English) Zbl 1502.68193

ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 249-267 (2022).
MSC:  68Q85 68M10 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Impedance control and force estimation of a redundant parallel kinematic manipulator. (English) Zbl 1504.93244

Gusikhin, Oleg (ed.) et al., Informatics in control, automation and robotics. 14th international conference, ICINCO 2017 Madrid, Spain, July 26–28, 2017 Revised selected papers. Cham: Springer. Lect. Notes Electr. Eng. 495, 174-191 (2020).
MSC:  93C85 93B52 93B18
PDFBibTeX XMLCite
Full Text: DOI

Instantons and special geometry. (English) Zbl 1409.53045

Chiossi, Simon G. (ed.) et al., Special metrics and group actions in geometry. Proceedings of the INdAM workshop “New perspectives in differential geometry”, on the occasion of the 60th birthday of Simon Salamon, Rome, Italy, November 16–20, 2015. Cham: Springer. Springer INdAM Ser. 23, 241-267 (2017).
MSC:  53C29 53C44
PDFBibTeX XMLCite
Full Text: DOI Link

Parameter learning algorithms for continuous model improvement using operational data. (English) Zbl 1491.68165

Antonucci, Alessandro (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10369, 115-124 (2017).
PDFBibTeX XMLCite
Full Text: DOI Link

A new method for vertical parallelisation of TAN learning based on balanced incomplete block designs. (English) Zbl 1443.68148

van der Gaag, Linda C. (ed.) et al., Probabilistic graphical models. 7th European workshop, PGM 2014, Utrecht, The Netherlands, September 17–19, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8754, 302-317 (2014).
MSC:  68T05 62H22
PDFBibTeX XMLCite
Full Text: DOI Link

Bayesian networks with function nodes. (English) Zbl 1450.62062

van der Gaag, Linda C. (ed.) et al., Probabilistic graphical models. 7th European workshop, PGM 2014, Utrecht, The Netherlands, September 17–19, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8754, 286-301 (2014).
MSC:  62H22 62M45
PDFBibTeX XMLCite
Full Text: DOI

Bayesian network inference using marginal trees. (English) Zbl 1430.68262

van der Gaag, Linda C. (ed.) et al., Probabilistic graphical models. 7th European workshop, PGM 2014, Utrecht, The Netherlands, September 17–19, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8754, 81-96 (2014).
MSC:  68T05 62H22
PDFBibTeX XMLCite
Full Text: DOI

On the tree structure used by lazy propagation for inference in Bayesian networks. (English) Zbl 1390.68668

van der Gaag, Linda C. (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 12th European conference, ECSQARU 2013, Utrecht, The Netherlands, July 8–10, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39090-6/pbk). Lecture Notes in Computer Science 7958. Lecture Notes in Artificial Intelligence, 400-411 (2013).
MSC:  68T37
PDFBibTeX XMLCite
Full Text: DOI

On semantics of inference in Bayesian networks. (English) Zbl 1390.68634

van der Gaag, Linda C. (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 12th European conference, ECSQARU 2013, Utrecht, The Netherlands, July 8–10, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39090-6/pbk). Lecture Notes in Computer Science 7958. Lecture Notes in Artificial Intelligence, 73-84 (2013).
MSC:  68T37
PDFBibTeX XMLCite
Full Text: DOI

Algebraic geometry. A problem solving approach. (English) Zbl 1263.14001

Student Mathematical Library 66. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9396-8/pbk). xxii, 335 p. (2013).
PDFBibTeX XMLCite

Using four cost measures to determine arc reversal orderings. (English) Zbl 1341.68239

Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 110-121 (2011).
MSC:  68T37 60E05 62C10
PDFBibTeX XMLCite
Full Text: DOI

Termination of cardiac reentry. (English) Zbl 1173.92020

Blackmore, Denis (ed.) et al., Frontiers of applied and computational mathematics. Dedicated to Daljit Singh Ahluwalia on his 75th birthday. Papers based on the presentations at the 5th annual frontiers in applied and computational mathematics conference (FACM ’08), Newark, NJ, USA, 19–21 May 2008. Hackensack, NJ: World Scientific (ISBN 978-981-283-528-4/hbk). 190-197 (2008).
MSC:  92C50 65C20 35Q92
PDFBibTeX XMLCite

New extended Kalman filter algorithms for stochastic differential algebraic equations. (English) Zbl 1220.93072

Findeisen, Rolf (ed.) et al., Assessment and future directions of nonlinear model predictive control. Selected papers based on the presentations at the workshop (NMPC05), Freudenstadt-Lauterbad, Germany, August 26–30, 2005. Berlin: Springer (ISBN 978-3-540-72698-2/pbk). Lecture Notes in Control and Information Sciences 358, 359-366 (2007).
PDFBibTeX XMLCite
Full Text: DOI

Semantics and verification of a language for modelling hardware architectures. (English) Zbl 1151.68480

Jones, Cliff B. (ed.) et al., Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. Berlin: Springer (ISBN 978-3-540-75220-2/pbk). Lecture Notes in Computer Science 4700, 300-319 (2007).
MSC:  68Q60 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Improving topological routing in N2R networks. (English) Zbl 1136.68328

Janssen, Jeannette (ed.) et al., Combinatorial and algorithmic aspects of networking. 4th workshop, CAAN 2007, Halifax, Canada, August 14, 2007. Revised papers. Berlin: Springer (ISBN 978-3-540-77293-4/pbk). Lecture Notes in Computer Science 4852, 131-148 (2007).
MSC:  68M10
PDFBibTeX XMLCite
Full Text: DOI

The Hugin tool for learning Bayesian networks. (English) Zbl 1251.68247

Nielsen, Thomas Dyhre (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 7th European conference, ECSQARU 2003, Aalborg, Denmark, July 2–5, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40494-5/pbk). Lect. Notes Comput. Sci. 2711, 594-605 (2003).
MSC:  68T37
PDFBibTeX XMLCite
Full Text: DOI

Mixed influence diagrams. (English) Zbl 1274.68541

Nielsen, Thomas Dyhre (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 7th European conference, ECSQARU 2003, Aalborg, Denmark, July 2–5, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40494-5/pbk). Lect. Notes Comput. Sci. 2711, 208-219 (2003).
MSC:  68T37
PDFBibTeX XMLCite
Full Text: DOI

Estimating motion in ultrasound images of the small bowel: Optical flow without image structure. (English) Zbl 1040.68608

Bigun, Josef (ed.) et al., Image analysis. 13th Scandinavian conference, SCIA 2003, Halmstad, Sweden, June 29 – July 2, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40601-8/pbk). Lect. Notes Comput. Sci. 2749, 571-578 (2003).
MSC:  68U99 68T45 92C55
PDFBibTeX XMLCite
Full Text: Link

Parallel branch-and-bound attraction based methods for global optimzation. (English) Zbl 1211.90295

Dzemyda, Gintautas et al., Stochastic and global optimization. Dedicated to Prof. Jonas Močkus on his 70th birthday (June 18, 2001). Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0484-2/hbk). Nonconvex Optim. Appl. 59, 175-187 (2002).
MSC:  90C57 90C26
PDFBibTeX XMLCite
Full Text: DOI

Performance tuning an algorithm for compressing relational tables. (English) Zbl 1078.68616

Penttonen, Martti (ed.) et al., Algorithm theory - SWAT 2002. 8th Scandinavian workshop, Turku, Finland, July 3–5, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43866-1). Lect. Notes Comput. Sci. 2368, 398-407 (2002).
MSC:  68P05 68T20 68W40
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software