[{"date_updated":"2026-05-29T09:53:33Z","title":"Strategy construction for parity games with imperfect information","_id":"3880","publication_identifier":{"eissn":["1611-3349"],"issn":["0302-9743"]},"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","publication_status":"published","type":"conference","oa_version":"None","month":"07","OA_type":"closed access","article_processing_charge":"No","conference":{"start_date":"2008-08-19","name":"CONCUR: Concurrency Theory","location":"Toronto, Canada","end_date":"2008-08-22"},"abstract":[{"lang":"eng","text":"We consider imperfect-information parity games in which strategies rely on observations that provide imperfect information about the history of a play. To solve such games, i.e., to determine the winning regions of players and corresponding winning strategies, one can use the subset construction to build an equivalent perfect-information game. Recently, an algorithm that avoids the inefficient subset construction has been proposed. The algorithm performs a fixed-point computation in a lattice of antichains, thus maintaining a succinct representation of state sets. However, this representation does not allow to recover winning strategies. In this paper, we build on the antichain approach to develop an algorithm for constructing the winning strategies in parity games of imperfect information. We have implemented this algorithm as a prototype. To our knowledge, this is the first implementation of a procedure for solving imperfect-information parity games on graphs."}],"intvolume":"      5201","related_material":{"record":[{"relation":"later_version","status":"public","id":"3863"}]},"doi":"10.1007/978-3-540-85361-9","date_created":"2018-12-11T12:05:40Z","citation":{"ista":"Berwanger D, Chatterjee K, Doyen L, Henzinger TA, Raje S. 2008. Strategy construction for parity games with imperfect information. 19th International Conference, CONCUR 2008. CONCUR: Concurrency Theory, LNCS, vol. 5201, 325–339.","apa":"Berwanger, D., Chatterjee, K., Doyen, L., Henzinger, T. A., &#38; Raje, S. (2008). Strategy construction for parity games with imperfect information. In <i>19th International Conference, CONCUR 2008</i> (Vol. 5201, pp. 325–339). Toronto, Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.1007/978-3-540-85361-9\">https://doi.org/10.1007/978-3-540-85361-9</a>","chicago":"Berwanger, Dietmar, Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger, and Sangram Raje. “Strategy Construction for Parity Games with Imperfect Information.” In <i>19th International Conference, CONCUR 2008</i>, 5201:325–39. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008. <a href=\"https://doi.org/10.1007/978-3-540-85361-9\">https://doi.org/10.1007/978-3-540-85361-9</a>.","mla":"Berwanger, Dietmar, et al. “Strategy Construction for Parity Games with Imperfect Information.” <i>19th International Conference, CONCUR 2008</i>, vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 325–39, doi:<a href=\"https://doi.org/10.1007/978-3-540-85361-9\">10.1007/978-3-540-85361-9</a>.","ama":"Berwanger D, Chatterjee K, Doyen L, Henzinger TA, Raje S. Strategy construction for parity games with imperfect information. In: <i>19th International Conference, CONCUR 2008</i>. Vol 5201. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:325-339. doi:<a href=\"https://doi.org/10.1007/978-3-540-85361-9\">10.1007/978-3-540-85361-9</a>","short":"D. Berwanger, K. Chatterjee, L. Doyen, T.A. Henzinger, S. Raje, in:, 19th International Conference, CONCUR 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 325–339.","ieee":"D. Berwanger, K. Chatterjee, L. Doyen, T. A. Henzinger, and S. Raje, “Strategy construction for parity games with imperfect information,” in <i>19th International Conference, CONCUR 2008</i>, Toronto, Canada, 2008, vol. 5201, pp. 325–339."},"alternative_title":["LNCS"],"day":"30","year":"2008","page":"325 - 339","language":[{"iso":"eng"}],"publication":"19th International Conference, CONCUR 2008","date_published":"2008-07-30T00:00:00Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","author":[{"last_name":"Berwanger","full_name":"Berwanger, Dietmar","first_name":"Dietmar"},{"first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu"},{"first_name":"Laurent","last_name":"Doyen","full_name":"Doyen, Laurent"},{"first_name":"Thomas A","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger"},{"first_name":"Sangram","last_name":"Raje","full_name":"Raje, Sangram"}],"volume":5201,"extern":"1","publist_id":"2291","status":"public"},{"citation":{"ama":"Chatterjee K, Doyen L, Henzinger TA. Quantitative languages. In: <i>22nd International Workshop on Computer Science Logic</i>. Vol 5213. Springer Nature; 2008:385-400. doi:<a href=\"https://doi.org/10.1007/978-3-540-87531-4_28\">10.1007/978-3-540-87531-4_28</a>","short":"K. Chatterjee, L. Doyen, T.A. Henzinger, in:, 22nd International Workshop on Computer Science Logic, Springer Nature, 2008, pp. 385–400.","ieee":"K. Chatterjee, L. Doyen, and T. A. Henzinger, “Quantitative languages,” in <i>22nd International Workshop on Computer Science Logic</i>, Bertinoro, Italy, 2008, vol. 5213, pp. 385–400.","ista":"Chatterjee K, Doyen L, Henzinger TA. 2008. Quantitative languages. 22nd International Workshop on Computer Science Logic. CSL: Computer Science Logic, LNCS, vol. 5213, 385–400.","apa":"Chatterjee, K., Doyen, L., &#38; Henzinger, T. A. (2008). Quantitative languages. In <i>22nd International Workshop on Computer Science Logic</i> (Vol. 5213, pp. 385–400). Bertinoro, Italy: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-540-87531-4_28\">https://doi.org/10.1007/978-3-540-87531-4_28</a>","mla":"Chatterjee, Krishnendu, et al. “Quantitative Languages.” <i>22nd International Workshop on Computer Science Logic</i>, vol. 5213, Springer Nature, 2008, pp. 385–400, doi:<a href=\"https://doi.org/10.1007/978-3-540-87531-4_28\">10.1007/978-3-540-87531-4_28</a>.","chicago":"Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Quantitative Languages.” In <i>22nd International Workshop on Computer Science Logic</i>, 5213:385–400. Springer Nature, 2008. <a href=\"https://doi.org/10.1007/978-3-540-87531-4_28\">https://doi.org/10.1007/978-3-540-87531-4_28</a>."},"date_created":"2018-12-11T12:05:40Z","alternative_title":["LNCS"],"day":"10","intvolume":"      5213","doi":"10.1007/978-3-540-87531-4_28","abstract":[{"text":"Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computation. We use weighted automata (finite automata with transition weights) to define several natural classes of quantitative languages over finite and infinite words; in particular, the real value of an infinite run is computed as the maximum, limsup, liminf, limit average, or discounted sum of the transition weights. We define the classical decision problems of automata theory (emptiness, universality, language inclusion, and language equivalence) in the quantitative setting and study their computational complexity. As the decidability of language inclusion remains open for some classes of weighted automata, we introduce a notion of quantitative simulation that is decidable and implies language inclusion. We also give a complete characterization of the expressive power of the various classes of weighted automata. In particular, we show that most classes of weighted automata cannot be determinized.","lang":"eng"}],"article_processing_charge":"No","conference":{"end_date":"2008-09-19","location":"Bertinoro, Italy","name":"CSL: Computer Science Logic","start_date":"2008-09-16"},"status":"public","acknowledgement":"Research supported in part by the NSF grants CCR-0132780, CNS-0720884, and CCR-0225610, by the Swiss National Science Foundation, and by the European COMBEST project.","date_published":"2008-09-10T00:00:00Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","author":[{"first_name":"Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu"},{"first_name":"Laurent","full_name":"Doyen, Laurent","last_name":"Doyen"},{"first_name":"Thomas A","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"publist_id":"2293","extern":"1","volume":5213,"publication":"22nd International Workshop on Computer Science Logic","page":"385 - 400","language":[{"iso":"eng"}],"year":"2008","publication_identifier":{"eissn":["1611-3349"],"issn":["0302-9743"]},"_id":"3879","title":"Quantitative languages","date_updated":"2026-05-29T10:05:43Z","OA_type":"closed access","month":"09","type":"conference","publisher":"Springer Nature","publication_status":"published","oa_version":"None"},{"date_published":"2008-03-01T00:00:00Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","month":"03","extern":"1","volume":4962,"publist_id":"2298","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","first_name":"Krishnendu"},{"first_name":"Thomas A","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger"},{"first_name":"Koushik","full_name":"Sen, Koushik","last_name":"Sen"}],"status":"public","OA_type":"closed access","type":"conference","publisher":"Springer Nature","publication_status":"published","year":"2008","oa_version":"None","publication":"Foundations of Software Science and Computational Structures - 11th International Conference","language":[{"iso":"eng"}],"page":"302 - 317","_id":"3875","intvolume":"      4962","doi":"10.1007/978-3-540-78499-9_22","date_created":"2018-12-11T12:05:39Z","citation":{"ista":"Chatterjee K, Henzinger TA, Sen K. 2008. Model-checking omega-regular properties of interval Markov chains. Foundations of Software Science and Computational Structures - 11th International Conference. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 4962, 302–317.","mla":"Chatterjee, Krishnendu, et al. “Model-Checking Omega-Regular Properties of Interval Markov Chains.” <i>Foundations of Software Science and Computational Structures - 11th International Conference</i>, vol. 4962, Springer Nature, 2008, pp. 302–17, doi:<a href=\"https://doi.org/10.1007/978-3-540-78499-9_22\">10.1007/978-3-540-78499-9_22</a>.","apa":"Chatterjee, K., Henzinger, T. A., &#38; Sen, K. (2008). Model-checking omega-regular properties of interval Markov chains. In <i>Foundations of Software Science and Computational Structures - 11th International Conference</i> (Vol. 4962, pp. 302–317). Budapest, Hungary: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-540-78499-9_22\">https://doi.org/10.1007/978-3-540-78499-9_22</a>","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, and Koushik Sen. “Model-Checking Omega-Regular Properties of Interval Markov Chains.” In <i>Foundations of Software Science and Computational Structures - 11th International Conference</i>, 4962:302–17. Springer Nature, 2008. <a href=\"https://doi.org/10.1007/978-3-540-78499-9_22\">https://doi.org/10.1007/978-3-540-78499-9_22</a>.","ieee":"K. Chatterjee, T. A. Henzinger, and K. Sen, “Model-checking omega-regular properties of interval Markov chains,” in <i>Foundations of Software Science and Computational Structures - 11th International Conference</i>, Budapest, Hungary, 2008, vol. 4962, pp. 302–317.","short":"K. Chatterjee, T.A. Henzinger, K. Sen, in:, Foundations of Software Science and Computational Structures - 11th International Conference, Springer Nature, 2008, pp. 302–317.","ama":"Chatterjee K, Henzinger TA, Sen K. Model-checking omega-regular properties of interval Markov chains. In: <i>Foundations of Software Science and Computational Structures - 11th International Conference</i>. Vol 4962. Springer Nature; 2008:302-317. doi:<a href=\"https://doi.org/10.1007/978-3-540-78499-9_22\">10.1007/978-3-540-78499-9_22</a>"},"day":"01","publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"]},"alternative_title":["LNCS"],"date_updated":"2026-05-29T10:35:10Z","conference":{"location":"Budapest, Hungary","name":"FoSSaCS: Foundations of Software Science and Computation Structures","end_date":"2008-04-06","start_date":"2008-03-29"},"article_processing_charge":"No","abstract":[{"text":"We study the problem of model checking Interval-valued Discrete-time Markov Chains (IDTMC). IDTMCs are discrete-time finite Markov Chains for which the exact transition probabilities are riot known. Instead in IDTMCs, each transition is associated with an interval in which the actual transition probability must lie. We consider two semantic interpretations for the uncertainty in the transition probabilities of an IDTMC. In the first interpretation, we think of an IDTMC as representing a (possibly uncountable) family of (classical) discrete-time Markov Chains, where each member of the family is a Markov Chain whose transition probabilities lie within the interval range given in the IDTMC. We call this semantic interpretation Uncertain Markov Chains (UMC). In the second semantics for an IDTMC, which we call Interval Markov Decision Process (IMDP), we view the uncertainty as being resolved through non-determinism. In other words, each time a state is visited, we adversarially pick a transition distribution that respects the interval constraints, and take a probabilistic step according to the chosen distribution. We introduce a logic omega-PCTL that can express liveness, strong fairness, and omega-regular properties (such properties cannot be expressed in PCTL). We show that the omega-PCTL model checking problem for Uncertain Markov Chain semantics is decidable in PSPACE (same as the best known upper bound for PCTL) and for Interval Markov Decision Process semantics is decidable in coNP (improving the previous known PSPACE bound for PCTL). We also show that the qualitative fragment of the logic can lie solved in coNP for the UMC interpretation, and can be solved in polynomial time for a sub-class of UMCs. We also prove lower bounds for these model checking problems. We show that the model checking problem of IDTMCs with LTL formulas can be solved for both UMC and IMDP semantics by reduction to the model checking problem of IDTMC with omega-PcTL formulas.","lang":"eng"}],"title":"Model-checking omega-regular properties of interval Markov chains"},{"conference":{"start_date":"2008-04-22","end_date":"2008-04-24","location":"St. Louis, MO, United States","name":"HSCC: Hybrid Systems - Computation and Control"},"date_updated":"2026-05-29T10:25:48Z","article_processing_charge":"No","title":"Controller synthesis with budget constraints","abstract":[{"lang":"eng","text":"We study the controller synthesis problem under budget constraints. In this problem, there is a cost associated with making an observation, and a controller can make only a limited number of observations in each round so that the total cost of the observations does not exceed a given fixed budget. The controller must ensure some omega-regular requirement subject to the budget constraint. Budget constraints arise in designing and implementing controllers for resource-constrained embedded systems, where a controller may not have enough power, time, or bandwidth to obtain data from all sensors in each round. They lead to games of imperfect information, where the unknown information is not fixed a priori, but can vary from round to round, based on the choices made by the controller how to allocate its budget. We show that the budget-constrained synthesis problem for W-regular objectives is complete for exponential time. In addition to studying synthesis under a fixed budget constraint, we study the budget optimization problem, where given a plant, an objective, and observation costs, we have to find a controller that achieves the objective with minimal average accumulated cost (or minimal peak cost). We show that this problem is reducible to a game of imperfect information where the winning objective is a conjunction of an omega-regular condition and a long-run average condition (or a least max-cost condition), and this again leads to an exponential-time algorithm. Finally, we extend our results to games over infinite state spaces, and show that the budget-constrained synthesis problem is decidable for infinite state games with stable quotients of finite index. Consequently, the discrete time budget-constrained synthesis problem is decidable for rectangular hybrid automata."}],"_id":"3873","intvolume":"      4981","doi":"DOI: 10.1007/978-3-540-78929-1_6","citation":{"ista":"Chatterjee K, Majumdar R, Henzinger TA. 2008. Controller synthesis with budget constraints. 11th Workshop on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 4981, 72–86.","chicago":"Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Controller Synthesis with Budget Constraints.” In <i>11th Workshop on Hybrid Systems: Computation and Control</i>, 4981:72–86. Springer Nature, 2008. <a href=\"https://doi.org/DOI: 10.1007/978-3-540-78929-1_6\">https://doi.org/DOI: 10.1007/978-3-540-78929-1_6</a>.","apa":"Chatterjee, K., Majumdar, R., &#38; Henzinger, T. A. (2008). Controller synthesis with budget constraints. In <i>11th Workshop on Hybrid Systems: Computation and Control</i> (Vol. 4981, pp. 72–86). St. Louis, MO, United States: Springer Nature. <a href=\"https://doi.org/DOI: 10.1007/978-3-540-78929-1_6\">https://doi.org/DOI: 10.1007/978-3-540-78929-1_6</a>","mla":"Chatterjee, Krishnendu, et al. “Controller Synthesis with Budget Constraints.” <i>11th Workshop on Hybrid Systems: Computation and Control</i>, vol. 4981, Springer Nature, 2008, pp. 72–86, doi:<a href=\"https://doi.org/DOI: 10.1007/978-3-540-78929-1_6\">DOI: 10.1007/978-3-540-78929-1_6</a>.","ama":"Chatterjee K, Majumdar R, Henzinger TA. Controller synthesis with budget constraints. In: <i>11th Workshop on Hybrid Systems: Computation and Control</i>. Vol 4981. Springer Nature; 2008:72-86. doi:<a href=\"https://doi.org/DOI: 10.1007/978-3-540-78929-1_6\">DOI: 10.1007/978-3-540-78929-1_6</a>","ieee":"K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Controller synthesis with budget constraints,” in <i>11th Workshop on Hybrid Systems: Computation and Control</i>, St. Louis, MO, United States, 2008, vol. 4981, pp. 72–86.","short":"K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, 11th Workshop on Hybrid Systems: Computation and Control, Springer Nature, 2008, pp. 72–86."},"date_created":"2018-12-11T12:05:38Z","day":"03","publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"]},"alternative_title":["LNCS"],"publisher":"Springer Nature","type":"conference","publication_status":"published","oa_version":"None","year":"2008","page":"72 - 86","publication":"11th Workshop on Hybrid Systems: Computation and Control","language":[{"iso":"eng"}],"date_published":"2008-04-03T00:00:00Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","month":"04","publist_id":"2296","volume":4981,"extern":"1","author":[{"orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","first_name":"Krishnendu"},{"first_name":"Ritankar","last_name":"Majumdar","full_name":"Majumdar, Ritankar"},{"first_name":"Thomas A","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"OA_type":"closed access","status":"public"},{"_id":"3877","OA_place":"repository","publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"]},"date_updated":"2026-05-29T10:20:36Z","title":"Environment assumptions for synthesis","month":"07","OA_type":"green","type":"conference","publication_status":"published","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","oa_version":"Preprint","arxiv":1,"intvolume":"      5201","doi":"10.1007/978-3-540-85361-9_14","citation":{"apa":"Chatterjee, K., Henzinger, T. A., &#38; Jobstmann, B. (2008). Environment assumptions for synthesis. In <i>19th International Conference on Concurrency Theory</i> (Vol. 5201, pp. 147–161). Toronto, Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.1007/978-3-540-85361-9_14\">https://doi.org/10.1007/978-3-540-85361-9_14</a>","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, and Barbara Jobstmann. “Environment Assumptions for Synthesis.” In <i>19th International Conference on Concurrency Theory</i>, 5201:147–61. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008. <a href=\"https://doi.org/10.1007/978-3-540-85361-9_14\">https://doi.org/10.1007/978-3-540-85361-9_14</a>.","mla":"Chatterjee, Krishnendu, et al. “Environment Assumptions for Synthesis.” <i>19th International Conference on Concurrency Theory</i>, vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–61, doi:<a href=\"https://doi.org/10.1007/978-3-540-85361-9_14\">10.1007/978-3-540-85361-9_14</a>.","ista":"Chatterjee K, Henzinger TA, Jobstmann B. 2008. Environment assumptions for synthesis. 19th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 5201, 147–161.","ieee":"K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Environment assumptions for synthesis,” in <i>19th International Conference on Concurrency Theory</i>, Toronto, Canada, 2008, vol. 5201, pp. 147–161.","short":"K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, 19th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–161.","ama":"Chatterjee K, Henzinger TA, Jobstmann B. Environment assumptions for synthesis. In: <i>19th International Conference on Concurrency Theory</i>. Vol 5201. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:147-161. doi:<a href=\"https://doi.org/10.1007/978-3-540-85361-9_14\">10.1007/978-3-540-85361-9_14</a>"},"date_created":"2018-12-11T12:05:39Z","day":"30","alternative_title":["LNCS"],"conference":{"start_date":"2008-08-19","end_date":"2008-08-22","location":"Toronto, Canada","name":"CONCUR: Concurrency Theory"},"article_processing_charge":"No","abstract":[{"lang":"eng","text":"The synthesis problem asks to construct a reactive finite-state system from an omega-regular specification. Initial specifications are often unrealizable, which means that there is no system that implements the specification. A common reason for unrealizability is that assumptions on the environment of the system are incomplete. We study the problem of correcting an unrealizable specification phi by computing an environment assumption psi such that the new specification psi -&gt; phi is realizable. Our aim is to construct an assumption psi that constrains only the environment and is as weak as possible. We present a two-step algorithm for computing assumptions. The algorithm operates on the game graph that is used to answer the realizability question. First, we compute a safety assumption that removes a minimal set of environment edges from the graph. Second, we compute a liveness assumption that puts fairness conditions on some of the remaining environment edges. We show that the problem of finding a minimal set of fair edges is computationally hard, and we use probabilistic games to compute a locally minimal fairness assumption."}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_published":"2008-07-30T00:00:00Z","publist_id":"2295","volume":5201,"extern":"1","author":[{"first_name":"Krishnendu","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee"},{"full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","first_name":"Thomas A"},{"first_name":"Barbara","full_name":"Jobstmann, Barbara","last_name":"Jobstmann"}],"external_id":{"arxiv":["0805.4167"]},"status":"public","year":"2008","page":"147 - 161","language":[{"iso":"eng"}],"publication":"19th International Conference on Concurrency Theory"},{"oa_version":"None","publication_status":"published","publisher":"Springer Nature","type":"conference","month":"04","OA_type":"closed access","date_updated":"2026-06-10T10:14:59Z","title":"Trading infinite memory for uniform randomness in timed games","_id":"3874","publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"]},"year":"2008","language":[{"iso":"eng"}],"page":"87 - 100","publication":"11th Workshop on Hybrid Systems: Computation and Control","author":[{"first_name":"Krishnendu","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee"},{"first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Vinayak","last_name":"Prabhu","full_name":"Prabhu, Vinayak"}],"extern":"1","publist_id":"2297","volume":4981,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_published":"2008-04-03T00:00:00Z","acknowledgement":"This research was supported in part by the NSF grants CCR-0208875, CCR-0225610, CCR-0234690, by the Swiss National Science Foundation, and by the Artist2 European Network of Excellence.","status":"public","article_processing_charge":"No","conference":{"start_date":"2008-04-22","name":"HSCC: Hybrid Systems - Computation and Control","location":"St. Louis, MO, United States","end_date":"2008-04-24"},"abstract":[{"lang":"eng","text":"We consider concurrent two-player timed automaton games with omega-regular objectives specified as parity conditions. These games offer an appropriate model for the synthesis of real-time controllers. Earlier works on timed games focused on pure strategies for each player. We study, for the first time, the use of randomized strategies in such games. While pure (i.e., nonrandomized) strategies in timed games require infinite memory for winning even with respect to reachability objectives, we show that randomized strategies can win with finite memory with respect to all parity objectives. Also, the synthesized randomized real-time controllers are much simpler in structure than the corresponding pure controllers, and therefore easier to implement. For safety objectives we prove the existence of pure finite-memory winning strategies. Finally, while randomization helps in simplifying the strategies required for winning timed parity games, we prove that randomization does not help in winning at more states."}],"doi":"10.1007/978-3-540-78929-1_7","intvolume":"      4981","alternative_title":["LNCS"],"day":"03","date_created":"2018-12-11T12:05:38Z","citation":{"short":"K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, 11th Workshop on Hybrid Systems: Computation and Control, Springer Nature, 2008, pp. 87–100.","ieee":"K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Trading infinite memory for uniform randomness in timed games,” in <i>11th Workshop on Hybrid Systems: Computation and Control</i>, St. Louis, MO, United States, 2008, vol. 4981, pp. 87–100.","ama":"Chatterjee K, Henzinger TA, Prabhu V. Trading infinite memory for uniform randomness in timed games. In: <i>11th Workshop on Hybrid Systems: Computation and Control</i>. Vol 4981. Springer Nature; 2008:87-100. doi:<a href=\"https://doi.org/10.1007/978-3-540-78929-1_7\">10.1007/978-3-540-78929-1_7</a>","ista":"Chatterjee K, Henzinger TA, Prabhu V. 2008. Trading infinite memory for uniform randomness in timed games. 11th Workshop on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 4981, 87–100.","apa":"Chatterjee, K., Henzinger, T. A., &#38; Prabhu, V. (2008). Trading infinite memory for uniform randomness in timed games. In <i>11th Workshop on Hybrid Systems: Computation and Control</i> (Vol. 4981, pp. 87–100). St. Louis, MO, United States: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-540-78929-1_7\">https://doi.org/10.1007/978-3-540-78929-1_7</a>","mla":"Chatterjee, Krishnendu, et al. “Trading Infinite Memory for Uniform Randomness in Timed Games.” <i>11th Workshop on Hybrid Systems: Computation and Control</i>, vol. 4981, Springer Nature, 2008, pp. 87–100, doi:<a href=\"https://doi.org/10.1007/978-3-540-78929-1_7\">10.1007/978-3-540-78929-1_7</a>.","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Trading Infinite Memory for Uniform Randomness in Timed Games.” In <i>11th Workshop on Hybrid Systems: Computation and Control</i>, 4981:87–100. Springer Nature, 2008. <a href=\"https://doi.org/10.1007/978-3-540-78929-1_7\">https://doi.org/10.1007/978-3-540-78929-1_7</a>."}},{"scopus_import":"1","date_created":"2024-10-15T11:20:53Z","citation":{"ista":"Bronstein AM, Bronstein MM, Zibulevsky M. 2006. On separation of semitransparent dynamic images from static background. 6th International Conference on Independent Component Analysis and Signal Separation. ICA: International Conference on Independent Component Analysis and Signal Separation, LNISA, vol. 3889, 934–940.","apa":"Bronstein, A. M., Bronstein, M. M., &#38; Zibulevsky, M. (2006). On separation of semitransparent dynamic images from static background. In <i>6th International Conference on Independent Component Analysis and Signal Separation</i> (Vol. 3889, pp. 934–940). Charleston, SC, United States: Springer Nature. <a href=\"https://doi.org/10.1007/11679363_116\">https://doi.org/10.1007/11679363_116</a>","mla":"Bronstein, Alex M., et al. “On Separation of Semitransparent Dynamic Images from Static Background.” <i>6th International Conference on Independent Component Analysis and Signal Separation</i>, vol. 3889, Springer Nature, 2006, pp. 934–40, doi:<a href=\"https://doi.org/10.1007/11679363_116\">10.1007/11679363_116</a>.","chicago":"Bronstein, Alex M., Michael M. Bronstein, and Michael Zibulevsky. “On Separation of Semitransparent Dynamic Images from Static Background.” In <i>6th International Conference on Independent Component Analysis and Signal Separation</i>, 3889:934–40. Springer Nature, 2006. <a href=\"https://doi.org/10.1007/11679363_116\">https://doi.org/10.1007/11679363_116</a>.","short":"A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, in:, 6th International Conference on Independent Component Analysis and Signal Separation, Springer Nature, 2006, pp. 934–940.","ieee":"A. M. Bronstein, M. M. Bronstein, and M. Zibulevsky, “On separation of semitransparent dynamic images from static background,” in <i>6th International Conference on Independent Component Analysis and Signal Separation</i>, Charleston, SC, United States, 2006, vol. 3889, pp. 934–940.","ama":"Bronstein AM, Bronstein MM, Zibulevsky M. On separation of semitransparent dynamic images from static background. In: <i>6th International Conference on Independent Component Analysis and Signal Separation</i>. Vol 3889. Springer Nature; 2006:934-940. doi:<a href=\"https://doi.org/10.1007/11679363_116\">10.1007/11679363_116</a>"},"quality_controlled":"1","alternative_title":["LNISA"],"day":"13","intvolume":"      3889","doi":"10.1007/11679363_116","abstract":[{"lang":"eng","text":"Presented here is the problem of recovering a dynamic image superimposed on a static background. Such a problem is ill-posed and may arise e.g. in imaging through semireflective media, in separation of an illumination image from a reflectance image, in imaging with diffraction phenomena, etc. In this work we study regularization of this problem in spirit of Total Variation and general sparsifying transformations."}],"article_processing_charge":"No","conference":{"location":"Charleston, SC, United States","name":"ICA: International Conference on Independent Component Analysis and Signal Separation","end_date":"2006-03-08","start_date":"2006-03-05"},"status":"public","date_published":"2006-02-13T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"Alexander","full_name":"Bronstein, Alexander","orcid":"0000-0001-9699-8730","last_name":"Bronstein","id":"58f3726e-7cba-11ef-ad8b-e6e8cb3904e6"},{"full_name":"Bronstein, Michael M.","last_name":"Bronstein","first_name":"Michael M."},{"first_name":"Michael","full_name":"Zibulevsky, Michael","last_name":"Zibulevsky"}],"volume":3889,"extern":"1","language":[{"iso":"eng"}],"publication":"6th International Conference on Independent Component Analysis and Signal Separation","page":"934-940","year":"2006","publication_identifier":{"issn":["0302-9743"],"eisbn":["9783540326311"],"eissn":["1611-3349"],"isbn":["9783540326304"]},"_id":"18320","title":"On separation of semitransparent dynamic images from static background","date_updated":"2024-10-22T07:00:45Z","OA_type":"closed access","month":"02","type":"conference","publisher":"Springer Nature","publication_status":"published","oa_version":"None"},{"status":"public","OA_type":"closed access","month":"01","date_published":"2006-01-01T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"first_name":"Alexander","last_name":"Bronstein","id":"58f3726e-7cba-11ef-ad8b-e6e8cb3904e6","full_name":"Bronstein, Alexander","orcid":"0000-0001-9699-8730"},{"first_name":"Michael M.","full_name":"Bronstein, Michael M.","last_name":"Bronstein"},{"full_name":"Kimmel, Ron","last_name":"Kimmel","first_name":"Ron"}],"volume":3953,"extern":"1","publication":"9th European Conference on Computer Vision","language":[{"iso":"eng"}],"publication_status":"published","type":"conference","publisher":"Springer Nature","oa_version":"None","year":"2006","scopus_import":"1","date_created":"2024-10-15T11:20:53Z","quality_controlled":"1","citation":{"ista":"Bronstein AM, Bronstein MM, Kimmel R. 2006. Robust expression-invariant face recognition from partially missing data. 9th European Conference on Computer Vision. ECCV: European Conference on Computer Vision, LNCS, vol. 3953.","mla":"Bronstein, Alex M., et al. “Robust Expression-Invariant Face Recognition from Partially Missing Data.” <i>9th European Conference on Computer Vision</i>, vol. 3953, Springer Nature, 2006, doi:<a href=\"https://doi.org/10.1007/11744078_31\">10.1007/11744078_31</a>.","apa":"Bronstein, A. M., Bronstein, M. M., &#38; Kimmel, R. (2006). Robust expression-invariant face recognition from partially missing data. In <i>9th European Conference on Computer Vision</i> (Vol. 3953). Graz, Austria: Springer Nature. <a href=\"https://doi.org/10.1007/11744078_31\">https://doi.org/10.1007/11744078_31</a>","chicago":"Bronstein, Alex M., Michael M. Bronstein, and Ron Kimmel. “Robust Expression-Invariant Face Recognition from Partially Missing Data.” In <i>9th European Conference on Computer Vision</i>, Vol. 3953. Springer Nature, 2006. <a href=\"https://doi.org/10.1007/11744078_31\">https://doi.org/10.1007/11744078_31</a>.","ama":"Bronstein AM, Bronstein MM, Kimmel R. Robust expression-invariant face recognition from partially missing data. In: <i>9th European Conference on Computer Vision</i>. Vol 3953. Springer Nature; 2006. doi:<a href=\"https://doi.org/10.1007/11744078_31\">10.1007/11744078_31</a>","ieee":"A. M. Bronstein, M. M. Bronstein, and R. Kimmel, “Robust expression-invariant face recognition from partially missing data,” in <i>9th European Conference on Computer Vision</i>, Graz, Austria, 2006, vol. 3953.","short":"A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 9th European Conference on Computer Vision, Springer Nature, 2006."},"publication_identifier":{"eisbn":["9783540338376"],"issn":["0302-9743"],"isbn":["9783540338369"],"eissn":["1611-3349"]},"alternative_title":["LNCS"],"intvolume":"      3953","_id":"18321","doi":"10.1007/11744078_31","title":"Robust expression-invariant face recognition from partially missing data","abstract":[{"lang":"eng","text":"Recent studies on three-dimensional face recognition proposed to model facial expressions as isometries of the facial surface. Based on this model, expression-invariant signatures of the face were constructed by means of approximate isometric embedding into flat spaces. Here, we apply a new method for measuring isometry-invariant similarity between faces by embedding one facial surface into another. We demonstrate that our approach has several significant advantages, one of which is the ability to handle partially missing data. Promising face recognition results are obtained in numerical experiments even when the facial surfaces are severely occluded."}],"article_processing_charge":"No","conference":{"start_date":"2006-05-07","end_date":"2006-05-13","name":"ECCV: European Conference on Computer Vision","location":"Graz, Austria"},"date_updated":"2024-10-22T06:46:14Z"},{"abstract":[{"text":"A geometric framework for finding intrinsic correspondence between animated 3D faces is presented. We model facial expressions as isometries of the facial surface and find the correspondence between two faces as the minimum-distortion mapping. Generalized multidimensional scaling is used for this goal. We apply our approach to texture mapping onto 3D video, expression exaggeration and morphing between faces.","lang":"eng"}],"conference":{"location":"Mallorca, Spain","name":"AMDO: Conference on Articulated Motion and Deformable Objects","end_date":"2006-07-14","start_date":"2006-07-11"},"article_processing_charge":"No","citation":{"ama":"Bronstein AM, Bronstein MM, Kimmel R. Facetoface: An isometric model for facial animation. In: <i>4th International Conference on Articulated Motion and Deformable Objects</i>. Vol 4069. Springer Nature; 2006:38-47. doi:<a href=\"https://doi.org/10.1007/11789239_5\">10.1007/11789239_5</a>","short":"A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 4th International Conference on Articulated Motion and Deformable Objects, Springer Nature, 2006, pp. 38–47.","ieee":"A. M. Bronstein, M. M. Bronstein, and R. Kimmel, “Facetoface: An isometric model for facial animation,” in <i>4th International Conference on Articulated Motion and Deformable Objects</i>, Mallorca, Spain, 2006, vol. 4069, pp. 38–47.","ista":"Bronstein AM, Bronstein MM, Kimmel R. 2006. Facetoface: An isometric model for facial animation. 4th International Conference on Articulated Motion and Deformable Objects. AMDO: Conference on Articulated Motion and Deformable Objects, LNIP, vol. 4069, 38–47.","mla":"Bronstein, Alex M., et al. “Facetoface: An Isometric Model for Facial Animation.” <i>4th International Conference on Articulated Motion and Deformable Objects</i>, vol. 4069, Springer Nature, 2006, pp. 38–47, doi:<a href=\"https://doi.org/10.1007/11789239_5\">10.1007/11789239_5</a>.","chicago":"Bronstein, Alex M., Michael M. Bronstein, and Ron Kimmel. “Facetoface: An Isometric Model for Facial Animation.” In <i>4th International Conference on Articulated Motion and Deformable Objects</i>, 4069:38–47. Springer Nature, 2006. <a href=\"https://doi.org/10.1007/11789239_5\">https://doi.org/10.1007/11789239_5</a>.","apa":"Bronstein, A. M., Bronstein, M. M., &#38; Kimmel, R. (2006). Facetoface: An isometric model for facial animation. In <i>4th International Conference on Articulated Motion and Deformable Objects</i> (Vol. 4069, pp. 38–47). Mallorca, Spain: Springer Nature. <a href=\"https://doi.org/10.1007/11789239_5\">https://doi.org/10.1007/11789239_5</a>"},"date_created":"2024-10-15T11:20:53Z","quality_controlled":"1","scopus_import":"1","day":"18","alternative_title":["LNIP"],"intvolume":"      4069","doi":"10.1007/11789239_5","page":"38-47","language":[{"iso":"eng"}],"publication":"4th International Conference on Articulated Motion and Deformable Objects","year":"2006","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2006-07-18T00:00:00Z","volume":4069,"extern":"1","author":[{"last_name":"Bronstein","id":"58f3726e-7cba-11ef-ad8b-e6e8cb3904e6","orcid":"0000-0001-9699-8730","full_name":"Bronstein, Alexander","first_name":"Alexander"},{"full_name":"Bronstein, Michael M.","last_name":"Bronstein","first_name":"Michael M."},{"first_name":"Ron","full_name":"Kimmel, Ron","last_name":"Kimmel"}],"title":"Facetoface: An isometric model for facial animation","date_updated":"2024-10-22T06:42:42Z","publication_identifier":{"issn":["0302-9743"],"eisbn":["9783540360322"],"isbn":["9783540360315"],"eissn":["1611-3349"]},"_id":"18322","publication_status":"published","type":"conference","publisher":"Springer Nature","oa_version":"None","OA_type":"closed access","month":"07"},{"title":"Matching two-dimensional articulated shapes using generalized multidimensional scaling","date_updated":"2024-10-22T06:35:45Z","publication_identifier":{"eisbn":["9783540360322"],"issn":["0302-9743"],"isbn":["9783540360315"],"eissn":["1611-3349"]},"_id":"18323","oa_version":"None","type":"conference","publication_status":"published","publisher":"Springer Nature","OA_type":"closed access","month":"07","abstract":[{"text":"We present a theoretical and computational framework for matching of two-dimensional articulated shapes. Assuming that articulations can be modeled as near-isometries, we show an axiomatic construction of an articulation-invariant distance between shapes, formulated as a generalized multidimensional scaling (GMDS) problem and solved efficiently. Some numerical results demonstrating the accuracy of our method are presented.","lang":"eng"}],"conference":{"start_date":"2006-07-11","location":"Mallorca, Spain","name":"AMDO: Conference on Articulated Motion and Deformable Objects","end_date":"2006-07-14"},"article_processing_charge":"No","day":"18","alternative_title":["LNIP"],"date_created":"2024-10-15T11:20:53Z","citation":{"apa":"Bronstein, A. M., Bronstein, M. M., Bruckstein, A. M., &#38; Kimmel, R. (2006). Matching two-dimensional articulated shapes using generalized multidimensional scaling. In <i>4th International Conference on Articulated Motion and Deformable Objects</i> (Vol. 4069, pp. 48–57). Mallorca, Spain: Springer Nature. <a href=\"https://doi.org/10.1007/11789239_6\">https://doi.org/10.1007/11789239_6</a>","mla":"Bronstein, Alex M., et al. “Matching Two-Dimensional Articulated Shapes Using Generalized Multidimensional Scaling.” <i>4th International Conference on Articulated Motion and Deformable Objects</i>, vol. 4069, Springer Nature, 2006, pp. 48–57, doi:<a href=\"https://doi.org/10.1007/11789239_6\">10.1007/11789239_6</a>.","chicago":"Bronstein, Alex M., Michael M. Bronstein, Alfred M. Bruckstein, and Ron Kimmel. “Matching Two-Dimensional Articulated Shapes Using Generalized Multidimensional Scaling.” In <i>4th International Conference on Articulated Motion and Deformable Objects</i>, 4069:48–57. Springer Nature, 2006. <a href=\"https://doi.org/10.1007/11789239_6\">https://doi.org/10.1007/11789239_6</a>.","ista":"Bronstein AM, Bronstein MM, Bruckstein AM, Kimmel R. 2006. Matching two-dimensional articulated shapes using generalized multidimensional scaling. 4th International Conference on Articulated Motion and Deformable Objects. AMDO: Conference on Articulated Motion and Deformable Objects, LNIP, vol. 4069, 48–57.","ieee":"A. M. Bronstein, M. M. Bronstein, A. M. Bruckstein, and R. Kimmel, “Matching two-dimensional articulated shapes using generalized multidimensional scaling,” in <i>4th International Conference on Articulated Motion and Deformable Objects</i>, Mallorca, Spain, 2006, vol. 4069, pp. 48–57.","short":"A.M. Bronstein, M.M. Bronstein, A.M. Bruckstein, R. Kimmel, in:, 4th International Conference on Articulated Motion and Deformable Objects, Springer Nature, 2006, pp. 48–57.","ama":"Bronstein AM, Bronstein MM, Bruckstein AM, Kimmel R. Matching two-dimensional articulated shapes using generalized multidimensional scaling. In: <i>4th International Conference on Articulated Motion and Deformable Objects</i>. Vol 4069. Springer Nature; 2006:48-57. doi:<a href=\"https://doi.org/10.1007/11789239_6\">10.1007/11789239_6</a>"},"quality_controlled":"1","scopus_import":"1","doi":"10.1007/11789239_6","intvolume":"      4069","publication":"4th International Conference on Articulated Motion and Deformable Objects","language":[{"iso":"eng"}],"page":"48-57","year":"2006","status":"public","extern":"1","volume":4069,"author":[{"first_name":"Alexander","id":"58f3726e-7cba-11ef-ad8b-e6e8cb3904e6","last_name":"Bronstein","orcid":"0000-0001-9699-8730","full_name":"Bronstein, Alexander"},{"last_name":"Bronstein","full_name":"Bronstein, Michael M.","first_name":"Michael M."},{"first_name":"Alfred M.","last_name":"Bruckstein","full_name":"Bruckstein, Alfred M."},{"first_name":"Ron","last_name":"Kimmel","full_name":"Kimmel, Ron"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2006-07-18T00:00:00Z"},{"month":"03","OA_type":"closed access","type":"conference","publication_status":"published","publisher":"Springer Berlin Heidelberg","oa_version":"None","_id":"18319","publication_identifier":{"issn":["0302-9743"],"eisbn":["9783540320128"],"eissn":["1611-3349"],"isbn":["9783540255475"]},"date_updated":"2024-10-22T06:29:06Z","title":"Isometric embedding of facial surfaces into S3","date_published":"2005-03-31T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","volume":3459,"author":[{"first_name":"Alexander","full_name":"Bronstein, Alexander","orcid":"0000-0001-9699-8730","last_name":"Bronstein","id":"58f3726e-7cba-11ef-ad8b-e6e8cb3904e6"},{"full_name":"Bronstein, Michael M.","last_name":"Bronstein","first_name":"Michael M."},{"full_name":"Kimmel, Ron","last_name":"Kimmel","first_name":"Ron"}],"status":"public","year":"2005","publication":"5th International Conference on Scale-Space Theories in Computer Vision","page":"622-631","language":[{"iso":"eng"}],"intvolume":"      3459","doi":"10.1007/11408031_53","date_created":"2024-10-15T11:12:06Z","citation":{"short":"A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 5th International Conference on Scale-Space Theories in Computer Vision, Springer Berlin Heidelberg, 2005, pp. 622–631.","ieee":"A. M. Bronstein, M. M. Bronstein, and R. Kimmel, “Isometric embedding of facial surfaces into S3,” in <i>5th International Conference on Scale-Space Theories in Computer Vision</i>, Hofgeismar, Germany, 2005, vol. 3459, pp. 622–631.","ama":"Bronstein AM, Bronstein MM, Kimmel R. Isometric embedding of facial surfaces into S3. In: <i>5th International Conference on Scale-Space Theories in Computer Vision</i>. Vol 3459. Springer Berlin Heidelberg; 2005:622-631. doi:<a href=\"https://doi.org/10.1007/11408031_53\">10.1007/11408031_53</a>","ista":"Bronstein AM, Bronstein MM, Kimmel R. 2005. Isometric embedding of facial surfaces into S3. 5th International Conference on Scale-Space Theories in Computer Vision. Scale Space: Conference on Scale-Space Theories in Computer Vision, LNIP, vol. 3459, 622–631.","apa":"Bronstein, A. M., Bronstein, M. M., &#38; Kimmel, R. (2005). Isometric embedding of facial surfaces into S3. In <i>5th International Conference on Scale-Space Theories in Computer Vision</i> (Vol. 3459, pp. 622–631). Hofgeismar, Germany: Springer Berlin Heidelberg. <a href=\"https://doi.org/10.1007/11408031_53\">https://doi.org/10.1007/11408031_53</a>","chicago":"Bronstein, Alex M., Michael M. Bronstein, and Ron Kimmel. “Isometric Embedding of Facial Surfaces into S3.” In <i>5th International Conference on Scale-Space Theories in Computer Vision</i>, 3459:622–31. Springer Berlin Heidelberg, 2005. <a href=\"https://doi.org/10.1007/11408031_53\">https://doi.org/10.1007/11408031_53</a>.","mla":"Bronstein, Alex M., et al. “Isometric Embedding of Facial Surfaces into S3.” <i>5th International Conference on Scale-Space Theories in Computer Vision</i>, vol. 3459, Springer Berlin Heidelberg, 2005, pp. 622–31, doi:<a href=\"https://doi.org/10.1007/11408031_53\">10.1007/11408031_53</a>."},"quality_controlled":"1","scopus_import":"1","day":"31","alternative_title":["LNIP"],"conference":{"end_date":"2005-04-09","location":"Hofgeismar, Germany","name":"Scale Space: Conference on Scale-Space Theories in Computer Vision","start_date":"2005-04-07"},"article_processing_charge":"No","abstract":[{"text":"The problem of isometry-invariant representation and comparison of surfaces is of cardinal importance in pattern recognition applications dealing with deformable objects. Particularly, in three-dimensional face recognition treating facial expressions as isometries of the facial surface allows to perform robust recognition insensitive to expressions.\r\nIsometry-invariant representation of surfaces can be constructed by isometrically embedding them into some convenient space, and carrying out the comparison in that space. Presented here is a discussion on isometric embedding into S3, which appears to be superior over the previously used Euclidean space in sense of the representation accuracy.","lang":"eng"}]},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2004-07-01T00:00:00Z","month":"07","volume":3142,"extern":"1","author":[{"orcid":"0000-0002-5008-6530","full_name":"Henzinger, Monika H","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","last_name":"Henzinger","first_name":"Monika H"}],"status":"public","publisher":"Springer Nature","publication_status":"published","type":"conference","oa_version":"None","year":"2004","language":[{"iso":"eng"}],"publication":"31st International Colloquium on Automata, Languages and Programming","page":"3","_id":"11800","intvolume":"      3142","doi":"10.1007/978-3-540-27836-8_2","date_created":"2022-08-11T12:38:58Z","citation":{"mla":"Henzinger, Monika. “The Past, Present, and Future of Web Search Engines.” <i>31st International Colloquium on Automata, Languages and Programming</i>, vol. 3142, Springer Nature, 2004, p. 3, doi:<a href=\"https://doi.org/10.1007/978-3-540-27836-8_2\">10.1007/978-3-540-27836-8_2</a>.","chicago":"Henzinger, Monika. “The Past, Present, and Future of Web Search Engines.” In <i>31st International Colloquium on Automata, Languages and Programming</i>, 3142:3. Springer Nature, 2004. <a href=\"https://doi.org/10.1007/978-3-540-27836-8_2\">https://doi.org/10.1007/978-3-540-27836-8_2</a>.","apa":"Henzinger, M. (2004). The past, present, and future of web search engines. In <i>31st International Colloquium on Automata, Languages and Programming</i> (Vol. 3142, p. 3). Turku, Finland: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-540-27836-8_2\">https://doi.org/10.1007/978-3-540-27836-8_2</a>","ista":"Henzinger M. 2004. The past, present, and future of web search engines. 31st International Colloquium on Automata, Languages and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 3142, 3.","ama":"Henzinger M. The past, present, and future of web search engines. In: <i>31st International Colloquium on Automata, Languages and Programming</i>. Vol 3142. Springer Nature; 2004:3. doi:<a href=\"https://doi.org/10.1007/978-3-540-27836-8_2\">10.1007/978-3-540-27836-8_2</a>","ieee":"M. Henzinger, “The past, present, and future of web search engines,” in <i>31st International Colloquium on Automata, Languages and Programming</i>, Turku, Finland, 2004, vol. 3142, p. 3.","short":"M. Henzinger, in:, 31st International Colloquium on Automata, Languages and Programming, Springer Nature, 2004, p. 3."},"quality_controlled":"1","scopus_import":"1","day":"01","publication_identifier":{"eissn":["1611-3349"],"issn":["0302-9743"]},"alternative_title":["LNCS"],"date_updated":"2024-11-06T08:14:51Z","conference":{"name":"ICALP: International Colloquium on Automata, Languages, and Programming","location":"Turku, Finland","end_date":"2004-07-16","start_date":"2004-07-12"},"article_processing_charge":"No","abstract":[{"lang":"eng","text":"Web search engines have emerged as one of the central applications on the Internet. In fact, search has become one of the most important activities that people engage in on the the Internet. Even beyond becoming the number one source of information, a growing number of businesses are depending on web search engines for customer acquisition.\r\n\r\nThe first generation of web search engines used text-only retrieval techniques. Google revolutionized the field by deploying the PageRank technology – an eigenvector-based analysis of the hyperlink structure – to analyze the web in order to produce relevant results. Moving forward, our goal is to achieve a better understanding of a page with a view towards producing even more relevant results."}],"title":"The past, present, and future of web search engines"},{"month":"09","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2004-09-01T00:00:00Z","author":[{"first_name":"Monika H","orcid":"0000-0002-5008-6530","full_name":"Henzinger, Monika H","last_name":"Henzinger","id":"540c9bbd-f2de-11ec-812d-d04a5be85630"}],"extern":"1","volume":3221,"status":"public","type":"conference","publication_status":"published","publisher":"Springer Nature","oa_version":"None","year":"2004","language":[{"iso":"eng"}],"publication":"2th Annual European Symposium on Algorithms","page":"3","intvolume":"      3221","_id":"11801","doi":"10.1007/978-3-540-30140-0_2","scopus_import":"1","date_created":"2022-08-11T13:18:05Z","citation":{"apa":"Henzinger, M. (2004). Algorithmic aspects of web search engines. In <i>2th Annual European Symposium on Algorithms</i> (Vol. 3221, p. 3). Bergen, Norway: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-540-30140-0_2\">https://doi.org/10.1007/978-3-540-30140-0_2</a>","chicago":"Henzinger, Monika. “Algorithmic Aspects of Web Search Engines.” In <i>2th Annual European Symposium on Algorithms</i>, 3221:3. Springer Nature, 2004. <a href=\"https://doi.org/10.1007/978-3-540-30140-0_2\">https://doi.org/10.1007/978-3-540-30140-0_2</a>.","mla":"Henzinger, Monika. “Algorithmic Aspects of Web Search Engines.” <i>2th Annual European Symposium on Algorithms</i>, vol. 3221, Springer Nature, 2004, p. 3, doi:<a href=\"https://doi.org/10.1007/978-3-540-30140-0_2\">10.1007/978-3-540-30140-0_2</a>.","ista":"Henzinger M. 2004. Algorithmic aspects of web search engines. 2th Annual European Symposium on Algorithms. ESA: European Symposium on Algorithms, LNCS, vol. 3221, 3.","ama":"Henzinger M. Algorithmic aspects of web search engines. In: <i>2th Annual European Symposium on Algorithms</i>. Vol 3221. Springer Nature; 2004:3. doi:<a href=\"https://doi.org/10.1007/978-3-540-30140-0_2\">10.1007/978-3-540-30140-0_2</a>","ieee":"M. Henzinger, “Algorithmic aspects of web search engines,” in <i>2th Annual European Symposium on Algorithms</i>, Bergen, Norway, 2004, vol. 3221, p. 3.","short":"M. Henzinger, in:, 2th Annual European Symposium on Algorithms, Springer Nature, 2004, p. 3."},"quality_controlled":"1","alternative_title":["LNCS"],"publication_identifier":{"eissn":["1611-3349"],"isbn":[" 3540230254"],"issn":["0302-9743"]},"day":"01","article_processing_charge":"No","conference":{"name":"ESA: European Symposium on Algorithms","location":"Bergen, Norway","end_date":"2004-09-17","start_date":"2004-09-14"},"date_updated":"2024-11-06T11:55:33Z","title":"Algorithmic aspects of web search engines","abstract":[{"text":"Web search engines have emerged as one of the central applications on the internet. In fact, search has become one of the most important activities that people engage in on the Internet. Even beyond becoming the number one source of information, a growing number of businesses are depending on web search engines for customer acquisition. In this talk I will brief review the history of web search engines: The first generation of web search engines used text-only retrieval techniques. Google revolutionized the field by deploying the PageRank technology – an eigenvector-based analysis of the hyperlink structure- to analyze the web in order to produce relevant results. Moving forward, our goal is to achieve a better understanding of a page with a view towards producing even more relevant results.\r\n\r\nGoogle is powered by a large number of PCs. Using this infrastructure and striving to be as efficient as possible poses challenging systems problems but also various algorithmic challenges. I will discuss some of them in my talk.","lang":"eng"}]},{"language":[{"iso":"eng"}],"publication":"8th European Conference on Computer Vision","page":"225–237","publication_status":"published","publisher":"Springer Nature","type":"conference","year":"2004","oa_version":"None","status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_published":"2004-01-01T00:00:00Z","month":"01","volume":3022,"extern":"1","author":[{"full_name":"Bronstein, Alexander","orcid":"0000-0001-9699-8730","id":"58f3726e-7cba-11ef-ad8b-e6e8cb3904e6","last_name":"Bronstein","first_name":"Alexander"},{"first_name":"Michael M.","full_name":"Bronstein, Michael M.","last_name":"Bronstein"},{"full_name":"Spira, Alon","last_name":"Spira","first_name":"Alon"},{"first_name":"Ron","last_name":"Kimmel","full_name":"Kimmel, Ron"}],"title":"Face recognition from facial surface metric","abstract":[{"lang":"eng","text":"Recently, a 3D face recognition approach based on geometric invariant signatures, has been proposed. The key idea is a representation of the facial surface, invariant to isometric deformations, such as those resulting from facial expressions. One important stage in the construction of the geometric invariants involves in measuring geodesic distances on triangulated surfaces, which is carried out by the fast marching on triangulated domains algorithm.\r\n\r\nProposed here is a method that uses only the metric tensor of the surface for geodesic distance computation. That is, the explicit integration of the surface in 3D from its gradients is not needed for the recognition task. It enables the use of simple and cost-efficient 3D acquisition techniques such as photometric stereo. Avoiding the explicit surface reconstruction stage saves computational time and reduces numerical errors."}],"conference":{"start_date":"2004-05-11","end_date":"2004-05-14","location":"Prageu, Czech Republic","name":"ECCV: European Conference on Computer Vision"},"date_updated":"2024-12-02T14:51:08Z","article_processing_charge":"No","quality_controlled":"1","citation":{"ista":"Bronstein AM, Bronstein MM, Spira A, Kimmel R. 2004. Face recognition from facial surface metric. 8th European Conference on Computer Vision. ECCV: European Conference on Computer Vision, LNCS, vol. 3022, 225–237.","apa":"Bronstein, A. M., Bronstein, M. M., Spira, A., &#38; Kimmel, R. (2004). Face recognition from facial surface metric. In <i>8th European Conference on Computer Vision</i> (Vol. 3022, pp. 225–237). Prageu, Czech Republic: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-540-24671-8_18\">https://doi.org/10.1007/978-3-540-24671-8_18</a>","chicago":"Bronstein, Alex M., Michael M. Bronstein, Alon Spira, and Ron Kimmel. “Face Recognition from Facial Surface Metric.” In <i>8th European Conference on Computer Vision</i>, 3022:225–237. Springer Nature, 2004. <a href=\"https://doi.org/10.1007/978-3-540-24671-8_18\">https://doi.org/10.1007/978-3-540-24671-8_18</a>.","mla":"Bronstein, Alex M., et al. “Face Recognition from Facial Surface Metric.” <i>8th European Conference on Computer Vision</i>, vol. 3022, Springer Nature, 2004, pp. 225–237, doi:<a href=\"https://doi.org/10.1007/978-3-540-24671-8_18\">10.1007/978-3-540-24671-8_18</a>.","ama":"Bronstein AM, Bronstein MM, Spira A, Kimmel R. Face recognition from facial surface metric. In: <i>8th European Conference on Computer Vision</i>. Vol 3022. Springer Nature; 2004:225–237. doi:<a href=\"https://doi.org/10.1007/978-3-540-24671-8_18\">10.1007/978-3-540-24671-8_18</a>","short":"A.M. Bronstein, M.M. Bronstein, A. Spira, R. Kimmel, in:, 8th European Conference on Computer Vision, Springer Nature, 2004, pp. 225–237.","ieee":"A. M. Bronstein, M. M. Bronstein, A. Spira, and R. Kimmel, “Face recognition from facial surface metric,” in <i>8th European Conference on Computer Vision</i>, Prageu, Czech Republic, 2004, vol. 3022, pp. 225–237."},"date_created":"2024-10-15T11:20:54Z","scopus_import":"1","alternative_title":["LNCS"],"publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349","9783540246718"],"isbn":["9783540219835"]},"_id":"18331","intvolume":"      3022","doi":"10.1007/978-3-540-24671-8_18"},{"article_processing_charge":"No","date_updated":"2024-12-02T14:30:47Z","conference":{"end_date":"2004-09-24","location":"Granada, Spain","name":"ICA: Independent Component Analysis and Blind Signal Separation","start_date":"2004-09-22"},"abstract":[{"text":"Presented here is a generalization of the modified relative Newton method, recently proposed in [1] for quasi-maximum likelihood blind source separation. Special structure of the Hessian matrix allows to perform block-coordinate Newton descent, which significantly reduces the algorithm computational complexity and boosts its performance. Simulations based on artificial and real data show that the separation quality using the proposed algorithm outperforms other accepted blind source separation methods.","lang":"eng"}],"title":"Blind source separation using the block-coordinate relative Newton method","doi":"10.1007/978-3-540-30110-3_52","intvolume":"      3195","_id":"18332","publication_identifier":{"eisbn":["9783540301103"],"issn":["0302-9743"],"isbn":["9783540230564"],"eissn":["1611-3349"]},"alternative_title":["LNCS"],"day":"27","scopus_import":"1","quality_controlled":"1","citation":{"ama":"Bronstein AM, Bronstein MM, Zibulevsky M. Blind source separation using the block-coordinate relative Newton method. In: <i>5th International Conference on Independent Component Analysis and Blind Signal Separation</i>. Vol 3195. Springer Nature; 2004:406–413. doi:<a href=\"https://doi.org/10.1007/978-3-540-30110-3_52\">10.1007/978-3-540-30110-3_52</a>","ieee":"A. M. Bronstein, M. M. Bronstein, and M. Zibulevsky, “Blind source separation using the block-coordinate relative Newton method,” in <i>5th International Conference on Independent Component Analysis and Blind Signal Separation</i>, Granada, Spain, 2004, vol. 3195, pp. 406–413.","short":"A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, in:, 5th International Conference on Independent Component Analysis and Blind Signal Separation, Springer Nature, 2004, pp. 406–413.","ista":"Bronstein AM, Bronstein MM, Zibulevsky M. 2004. Blind source separation using the block-coordinate relative Newton method. 5th International Conference on Independent Component Analysis and Blind Signal Separation. ICA: Independent Component Analysis and Blind Signal Separation, LNCS, vol. 3195, 406–413.","chicago":"Bronstein, Alex M., Michael M. Bronstein, and Michael Zibulevsky. “Blind Source Separation Using the Block-Coordinate Relative Newton Method.” In <i>5th International Conference on Independent Component Analysis and Blind Signal Separation</i>, 3195:406–413. Springer Nature, 2004. <a href=\"https://doi.org/10.1007/978-3-540-30110-3_52\">https://doi.org/10.1007/978-3-540-30110-3_52</a>.","apa":"Bronstein, A. M., Bronstein, M. M., &#38; Zibulevsky, M. (2004). Blind source separation using the block-coordinate relative Newton method. In <i>5th International Conference on Independent Component Analysis and Blind Signal Separation</i> (Vol. 3195, pp. 406–413). Granada, Spain: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-540-30110-3_52\">https://doi.org/10.1007/978-3-540-30110-3_52</a>","mla":"Bronstein, Alex M., et al. “Blind Source Separation Using the Block-Coordinate Relative Newton Method.” <i>5th International Conference on Independent Component Analysis and Blind Signal Separation</i>, vol. 3195, Springer Nature, 2004, pp. 406–413, doi:<a href=\"https://doi.org/10.1007/978-3-540-30110-3_52\">10.1007/978-3-540-30110-3_52</a>."},"date_created":"2024-10-15T11:20:54Z","year":"2004","oa_version":"None","publication_status":"published","publisher":"Springer Nature","type":"conference","publication":"5th International Conference on Independent Component Analysis and Blind Signal Separation","page":"406–413","language":[{"iso":"eng"}],"author":[{"orcid":"0000-0001-9699-8730","full_name":"Bronstein, Alexander","last_name":"Bronstein","id":"58f3726e-7cba-11ef-ad8b-e6e8cb3904e6","first_name":"Alexander"},{"last_name":"Bronstein","full_name":"Bronstein, Michael M.","first_name":"Michael M."},{"last_name":"Zibulevsky","full_name":"Zibulevsky, Michael","first_name":"Michael"}],"volume":3195,"extern":"1","month":"10","date_published":"2004-10-27T00:00:00Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","status":"public"},{"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_published":"2004-10-27T00:00:00Z","month":"10","volume":3195,"extern":"1","author":[{"orcid":"0000-0001-9699-8730","full_name":"Bronstein, Alexander","id":"58f3726e-7cba-11ef-ad8b-e6e8cb3904e6","last_name":"Bronstein","first_name":"Alexander"},{"full_name":"Bronstein, Michael M.","last_name":"Bronstein","first_name":"Michael M."},{"first_name":"Michael","last_name":"Zibulevsky","full_name":"Zibulevsky, Michael"},{"first_name":"Yehoshua Y.","full_name":"Zeevi, Yehoshua Y.","last_name":"Zeevi"}],"status":"public","type":"conference","publisher":"Springer Nature","publication_status":"published","year":"2004","oa_version":"None","page":"500-507","publication":"5th International Conference on Independent Component Analysis and Blind Signal Separation","language":[{"iso":"eng"}],"_id":"18333","intvolume":"      3195","doi":"10.1007/978-3-540-30110-3_64","citation":{"short":"A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, in:, 5th International Conference on Independent Component Analysis and Blind Signal Separation, Springer Nature, 2004, pp. 500–507.","ieee":"A. M. Bronstein, M. M. Bronstein, M. Zibulevsky, and Y. Y. Zeevi, “Optimal sparse representations for blind deconvolution of images,” in <i>5th International Conference on Independent Component Analysis and Blind Signal Separation</i>, Granada, Spain, 2004, vol. 3195, pp. 500–507.","ama":"Bronstein AM, Bronstein MM, Zibulevsky M, Zeevi YY. Optimal sparse representations for blind deconvolution of images. In: <i>5th International Conference on Independent Component Analysis and Blind Signal Separation</i>. Vol 3195. Springer Nature; 2004:500-507. doi:<a href=\"https://doi.org/10.1007/978-3-540-30110-3_64\">10.1007/978-3-540-30110-3_64</a>","ista":"Bronstein AM, Bronstein MM, Zibulevsky M, Zeevi YY. 2004. Optimal sparse representations for blind deconvolution of images. 5th International Conference on Independent Component Analysis and Blind Signal Separation. ICA: Independent Component Analysis and Blind Signal Separation, LNCS, vol. 3195, 500–507.","chicago":"Bronstein, Alex M., Michael M. Bronstein, Michael Zibulevsky, and Yehoshua Y. Zeevi. “Optimal Sparse Representations for Blind Deconvolution of Images.” In <i>5th International Conference on Independent Component Analysis and Blind Signal Separation</i>, 3195:500–507. Springer Nature, 2004. <a href=\"https://doi.org/10.1007/978-3-540-30110-3_64\">https://doi.org/10.1007/978-3-540-30110-3_64</a>.","mla":"Bronstein, Alex M., et al. “Optimal Sparse Representations for Blind Deconvolution of Images.” <i>5th International Conference on Independent Component Analysis and Blind Signal Separation</i>, vol. 3195, Springer Nature, 2004, pp. 500–07, doi:<a href=\"https://doi.org/10.1007/978-3-540-30110-3_64\">10.1007/978-3-540-30110-3_64</a>.","apa":"Bronstein, A. M., Bronstein, M. M., Zibulevsky, M., &#38; Zeevi, Y. Y. (2004). Optimal sparse representations for blind deconvolution of images. In <i>5th International Conference on Independent Component Analysis and Blind Signal Separation</i> (Vol. 3195, pp. 500–507). Granada, Spain: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-540-30110-3_64\">https://doi.org/10.1007/978-3-540-30110-3_64</a>"},"quality_controlled":"1","date_created":"2024-10-15T11:20:54Z","scopus_import":"1","day":"27","publication_identifier":{"isbn":["9783540230564"],"eissn":["1611-3349"],"eisbn":["9783540301103"],"issn":["0302-9743"]},"alternative_title":["LNCS"],"conference":{"name":"ICA: Independent Component Analysis and Blind Signal Separation","location":"Granada, Spain","end_date":"2004-09-24","start_date":"2004-09-22"},"date_updated":"2024-11-19T14:12:31Z","article_processing_charge":"No","title":"Optimal sparse representations for blind deconvolution of images","abstract":[{"lang":"eng","text":"The relative Newton algorithm, previously proposed for quasi maximum likelihood blind source separation and blind deconvolution of one-dimensional signals is generalized for blind deconvolution of images. Smooth approximation of the absolute value is used in modelling the log probability density function, which is suitable for sparse sources. We propose a method of sparsification, which allows blind deconvolution of sources with arbitrary distribution, and show how to find optimal sparsifying transformations by training."}]},{"doi":"10.1007/978-3-540-30110-3_71","intvolume":"      3195","alternative_title":["LNCS"],"day":"24","scopus_import":"1","citation":{"ista":"Bronstein AM, Bronstein MM, Zibulevsky M. 2004. Blind deconvolution using the relative Newton method. 5th International Conference on Independent Component Analysis and Blind Signal Separation. ICA: Independent Component Analysis and Blind Signal Separation, LNCS, vol. 3195, 554–561.","mla":"Bronstein, Alex M., et al. “Blind Deconvolution Using the Relative Newton Method.” <i>5th International Conference on Independent Component Analysis and Blind Signal Separation</i>, vol. 3195, Springer Nature, 2004, pp. 554–561, doi:<a href=\"https://doi.org/10.1007/978-3-540-30110-3_71\">10.1007/978-3-540-30110-3_71</a>.","chicago":"Bronstein, Alex M., Michael M. Bronstein, and Michael Zibulevsky. “Blind Deconvolution Using the Relative Newton Method.” In <i>5th International Conference on Independent Component Analysis and Blind Signal Separation</i>, 3195:554–561. Berlin, Heidelberg: Springer Nature, 2004. <a href=\"https://doi.org/10.1007/978-3-540-30110-3_71\">https://doi.org/10.1007/978-3-540-30110-3_71</a>.","apa":"Bronstein, A. M., Bronstein, M. M., &#38; Zibulevsky, M. (2004). Blind deconvolution using the relative Newton method. In <i>5th International Conference on Independent Component Analysis and Blind Signal Separation</i> (Vol. 3195, pp. 554–561). Berlin, Heidelberg: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-540-30110-3_71\">https://doi.org/10.1007/978-3-540-30110-3_71</a>","ama":"Bronstein AM, Bronstein MM, Zibulevsky M. Blind deconvolution using the relative Newton method. In: <i>5th International Conference on Independent Component Analysis and Blind Signal Separation</i>. Vol 3195. Berlin, Heidelberg: Springer Nature; 2004:554–561. doi:<a href=\"https://doi.org/10.1007/978-3-540-30110-3_71\">10.1007/978-3-540-30110-3_71</a>","ieee":"A. M. Bronstein, M. M. Bronstein, and M. Zibulevsky, “Blind deconvolution using the relative Newton method,” in <i>5th International Conference on Independent Component Analysis and Blind Signal Separation</i>, Granada, Spain, 2004, vol. 3195, pp. 554–561.","short":"A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, in:, 5th International Conference on Independent Component Analysis and Blind Signal Separation, Springer Nature, Berlin, Heidelberg, 2004, pp. 554–561."},"date_created":"2024-10-15T11:20:54Z","quality_controlled":"1","article_processing_charge":"No","conference":{"name":"ICA: Independent Component Analysis and Blind Signal Separation","location":"Granada, Spain","end_date":"2004-09-24","start_date":"2004-09-22"},"abstract":[{"lang":"eng","text":"We propose a relative optimization framework for quasi maximum likelihood blind deconvolution and the relative Newton method as its particular instance. Special Hessian structure allows its fast approximate construction and inversion with complexity comparable to that of gradient methods. The use of rational IIR restoration kernels provides a richer family of filters than the traditionally used FIR kernels. Smoothed absolute value and the smoothed deadzone functions allow accurate and robust deconvolution of super- and sub-Gaussian sources, respectively. Simulation results demonstrate the efficiency of the proposed methods."}],"author":[{"last_name":"Bronstein","id":"58f3726e-7cba-11ef-ad8b-e6e8cb3904e6","full_name":"Bronstein, Alexander","orcid":"0000-0001-9699-8730","first_name":"Alexander"},{"last_name":"Bronstein","full_name":"Bronstein, Michael M.","first_name":"Michael M."},{"last_name":"Zibulevsky","full_name":"Zibulevsky, Michael","first_name":"Michael"}],"volume":3195,"extern":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_published":"2004-10-24T00:00:00Z","status":"public","year":"2004","language":[{"iso":"eng"}],"publication":"5th International Conference on Independent Component Analysis and Blind Signal Separation","page":"554–561","_id":"18334","publication_identifier":{"eissn":["1611-3349"],"isbn":["9783540230564","9783540301103"],"issn":["0302-9743"]},"date_updated":"2024-12-02T14:15:23Z","title":"Blind deconvolution using the relative Newton method","month":"10","place":"Berlin, Heidelberg","oa_version":"None","publisher":"Springer Nature","type":"conference","publication_status":"published"},{"title":"Expression-invariant 3D face recognition","date_updated":"2024-10-22T07:20:09Z","publication_identifier":{"isbn":["9783540403029"],"eissn":["1611-3349"],"eisbn":["9783540448877"],"issn":["0302-9743"]},"_id":"18324","type":"conference","publisher":"Springer Nature","publication_status":"published","oa_version":"None","OA_type":"closed access","month":"01","abstract":[{"text":"We present a novel 3D face recognition approach based on geometric invariants introduced by Elad and Kimmel. The key idea of the proposed algorithm is a representation of the facial surface, invariant to isometric deformations, such as those resulting from different expressions and postures of the face. The obtained geometric invariants allow mapping 2D facial texture images into special images that incorporate the 3D geometry of the face. These signature images are then decomposed into their principal components. The result is an efficient and accurate face recognition algorithm that is robust to facial expressions. We demonstrate the results of our method and compare it to existing 2D and 3D face recognition algorithms.","lang":"eng"}],"conference":{"end_date":"2003-06-11","name":"AVBPA: Conference on Audio- and Video-Based Biometric Person Authentication","location":"Guildford, United Kingdom","start_date":"2003-06-09"},"article_processing_charge":"No","date_created":"2024-10-15T11:20:53Z","quality_controlled":"1","citation":{"ista":"Bronstein AM, Bronstein MM, Kimmel R. 2003. Expression-invariant 3D face recognition. 4th International Conference on Audio- and Video-Based Biometric Person Authentication. AVBPA: Conference on Audio- and Video-Based Biometric Person Authentication, LNCS, vol. 2688, 62–70.","chicago":"Bronstein, Alex M., Michael M. Bronstein, and Ron Kimmel. “Expression-Invariant 3D Face Recognition.” In <i>4th International Conference on Audio- and Video-Based Biometric Person Authentication</i>, 2688:62–70. Springer Nature, 2003. <a href=\"https://doi.org/10.1007/3-540-44887-x_8\">https://doi.org/10.1007/3-540-44887-x_8</a>.","mla":"Bronstein, Alex M., et al. “Expression-Invariant 3D Face Recognition.” <i>4th International Conference on Audio- and Video-Based Biometric Person Authentication</i>, vol. 2688, Springer Nature, 2003, pp. 62–70, doi:<a href=\"https://doi.org/10.1007/3-540-44887-x_8\">10.1007/3-540-44887-x_8</a>.","apa":"Bronstein, A. M., Bronstein, M. M., &#38; Kimmel, R. (2003). Expression-invariant 3D face recognition. In <i>4th International Conference on Audio- and Video-Based Biometric Person Authentication</i> (Vol. 2688, pp. 62–70). Guildford, United Kingdom: Springer Nature. <a href=\"https://doi.org/10.1007/3-540-44887-x_8\">https://doi.org/10.1007/3-540-44887-x_8</a>","ieee":"A. M. Bronstein, M. M. Bronstein, and R. Kimmel, “Expression-invariant 3D face recognition,” in <i>4th International Conference on Audio- and Video-Based Biometric Person Authentication</i>, Guildford, United Kingdom, 2003, vol. 2688, pp. 62–70.","short":"A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 4th International Conference on Audio- and Video-Based Biometric Person Authentication, Springer Nature, 2003, pp. 62–70.","ama":"Bronstein AM, Bronstein MM, Kimmel R. Expression-invariant 3D face recognition. In: <i>4th International Conference on Audio- and Video-Based Biometric Person Authentication</i>. Vol 2688. Springer Nature; 2003:62-70. doi:<a href=\"https://doi.org/10.1007/3-540-44887-x_8\">10.1007/3-540-44887-x_8</a>"},"scopus_import":"1","day":"01","alternative_title":["LNCS"],"intvolume":"      2688","doi":"10.1007/3-540-44887-x_8","page":"62-70","publication":"4th International Conference on Audio- and Video-Based Biometric Person Authentication","language":[{"iso":"eng"}],"year":"2003","status":"public","date_published":"2003-01-01T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":2688,"extern":"1","author":[{"first_name":"Alexander","full_name":"Bronstein, Alexander","orcid":"0000-0001-9699-8730","last_name":"Bronstein","id":"58f3726e-7cba-11ef-ad8b-e6e8cb3904e6"},{"last_name":"Bronstein","full_name":"Bronstein, Michael M.","first_name":"Michael M."},{"full_name":"Kimmel, Ron","last_name":"Kimmel","first_name":"Ron"}]},{"page":"1–8","publication":"8th Annual European Symposium on Algorithms","language":[{"iso":"eng"}],"publication_status":"published","publisher":"Springer Nature","type":"conference","year":"2000","oa_version":"None","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2000-09-01T00:00:00Z","month":"09","volume":1879,"extern":"1","author":[{"first_name":"Monika H","last_name":"Henzinger","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","full_name":"Henzinger, Monika H","orcid":"0000-0002-5008-6530"}],"title":"Web information retrieval - an algorithmic perspective","abstract":[{"lang":"eng","text":"In this paper we survey algorithmic aspects of Web information retrieval. As an example, we discuss ranking of search engine results using connectivity analysis."}],"date_updated":"2024-11-06T11:55:46Z","conference":{"start_date":"2000-09-05","name":"ESA: European Symposium on Algorithms","location":"Saarbrücken, Germany","end_date":"2000-09-08"},"article_processing_charge":"No","quality_controlled":"1","citation":{"ista":"Henzinger M. 2000. Web information retrieval - an algorithmic perspective. 8th Annual European Symposium on Algorithms. ESA: European Symposium on Algorithms, LNCS, vol. 1879, 1–8.","mla":"Henzinger, Monika. “Web Information Retrieval - an Algorithmic Perspective.” <i>8th Annual European Symposium on Algorithms</i>, vol. 1879, Springer Nature, 2000, pp. 1–8, doi:<a href=\"https://doi.org/10.1007/3-540-45253-2_1\">10.1007/3-540-45253-2_1</a>.","chicago":"Henzinger, Monika. “Web Information Retrieval - an Algorithmic Perspective.” In <i>8th Annual European Symposium on Algorithms</i>, 1879:1–8. Springer Nature, 2000. <a href=\"https://doi.org/10.1007/3-540-45253-2_1\">https://doi.org/10.1007/3-540-45253-2_1</a>.","apa":"Henzinger, M. (2000). Web information retrieval - an algorithmic perspective. In <i>8th Annual European Symposium on Algorithms</i> (Vol. 1879, pp. 1–8). Saarbrücken, Germany: Springer Nature. <a href=\"https://doi.org/10.1007/3-540-45253-2_1\">https://doi.org/10.1007/3-540-45253-2_1</a>","ieee":"M. Henzinger, “Web information retrieval - an algorithmic perspective,” in <i>8th Annual European Symposium on Algorithms</i>, Saarbrücken, Germany, 2000, vol. 1879, pp. 1–8.","short":"M. Henzinger, in:, 8th Annual European Symposium on Algorithms, Springer Nature, 2000, pp. 1–8.","ama":"Henzinger M. Web information retrieval - an algorithmic perspective. In: <i>8th Annual European Symposium on Algorithms</i>. Vol 1879. Springer Nature; 2000:1–8. doi:<a href=\"https://doi.org/10.1007/3-540-45253-2_1\">10.1007/3-540-45253-2_1</a>"},"date_created":"2022-08-11T13:25:07Z","scopus_import":"1","day":"01","alternative_title":["LNCS"],"publication_identifier":{"issn":["0302-9743"],"eisbn":["9783540452539"],"isbn":["9783540410041"],"eissn":["1611-3349"]},"_id":"11802","intvolume":"      1879","doi":"10.1007/3-540-45253-2_1"},{"language":[{"iso":"eng"}],"publication":"24th International Colloquium on Automata, Languages and Programming","page":"594–604","year":"1997","oa_version":"None","publication_status":"published","publisher":"Springer Nature","type":"conference","status":"public","author":[{"orcid":"0000-0002-5008-6530","full_name":"Henzinger, Monika H","last_name":"Henzinger","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","first_name":"Monika H"},{"first_name":"Valerie","last_name":"King","full_name":"King, Valerie"}],"extern":"1","volume":1256,"month":"07","date_published":"1997-07-01T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"We present the first fully dynamic algorithm for maintaining a minimum spanning tree in time o(√n) per operation. To be precise, the algorithm uses O(n 1/3 log n) amortized time per update operation. The algorithm is fairly simple and deterministic. An immediate consequence is the first fully dynamic deterministic algorithm for maintaining connectivity and, bipartiteness in amortized time O(n 1/3 log n) per update, with O(1) worst case time per query."}],"title":"Maintaining minimum spanning trees in dynamic graphs","article_processing_charge":"No","conference":{"location":"Bologna, Italy","name":"ICALP: International Colloquium on Automata, Languages, and Programming","end_date":"1997-07-11","start_date":"1997-07-07"},"date_updated":"2024-11-06T12:13:35Z","publication_identifier":{"issn":["0302-9743"],"eisbn":["9783540691945"],"isbn":["9783540631651"],"eissn":["1611-3349"]},"alternative_title":["LNCS"],"day":"01","scopus_import":"1","quality_controlled":"1","date_created":"2022-08-11T13:35:06Z","citation":{"ama":"Henzinger M, King V. Maintaining minimum spanning trees in dynamic graphs. In: <i>24th International Colloquium on Automata, Languages and Programming</i>. Vol 1256. Springer Nature; 1997:594–604. doi:<a href=\"https://doi.org/10.1007/3-540-63165-8_214\">10.1007/3-540-63165-8_214</a>","ieee":"M. Henzinger and V. King, “Maintaining minimum spanning trees in dynamic graphs,” in <i>24th International Colloquium on Automata, Languages and Programming</i>, Bologna, Italy, 1997, vol. 1256, pp. 594–604.","short":"M. Henzinger, V. King, in:, 24th International Colloquium on Automata, Languages and Programming, Springer Nature, 1997, pp. 594–604.","ista":"Henzinger M, King V. 1997. Maintaining minimum spanning trees in dynamic graphs. 24th International Colloquium on Automata, Languages and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 1256, 594–604.","chicago":"Henzinger, Monika, and Valerie King. “Maintaining Minimum Spanning Trees in Dynamic Graphs.” In <i>24th International Colloquium on Automata, Languages and Programming</i>, 1256:594–604. Springer Nature, 1997. <a href=\"https://doi.org/10.1007/3-540-63165-8_214\">https://doi.org/10.1007/3-540-63165-8_214</a>.","apa":"Henzinger, M., &#38; King, V. (1997). Maintaining minimum spanning trees in dynamic graphs. In <i>24th International Colloquium on Automata, Languages and Programming</i> (Vol. 1256, pp. 594–604). Bologna, Italy: Springer Nature. <a href=\"https://doi.org/10.1007/3-540-63165-8_214\">https://doi.org/10.1007/3-540-63165-8_214</a>","mla":"Henzinger, Monika, and Valerie King. “Maintaining Minimum Spanning Trees in Dynamic Graphs.” <i>24th International Colloquium on Automata, Languages and Programming</i>, vol. 1256, Springer Nature, 1997, pp. 594–604, doi:<a href=\"https://doi.org/10.1007/3-540-63165-8_214\">10.1007/3-540-63165-8_214</a>."},"doi":"10.1007/3-540-63165-8_214","intvolume":"      1256","_id":"11803"}]