|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9132 occurrences of 5110 keywords
|
|
|
Results
Found 17288 publication records. Showing 17288 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Grigori Mints, Darko Sarenac |
Completeness of indexed epsilon-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 42(7), pp. 617-625, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Epsilon calculus, Finite choice, Completeness |
17 | James V. Hansen, James B. McDonald |
A Generalized Model for Predictive Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. Frontiers ![In: Inf. Syst. Frontiers 4(2), pp. 179-186, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
choice estimator, misclassification costs, data mining, prediction |
17 | Pao-Ann Hsiung, Trong-Yen Lee, Feng-Shi Su |
Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 4-6 December 2002, Gold Coast, Queensland, Australia, pp. 395-404, 2002, IEEE Computer Society, 0-7695-1850-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Time Complex-Choice Petri Nets, time-extended quasi-static scheduling, code generation, real-time embedded software |
17 | Ronen I. Brafman, Moshe Tennenholtz |
An axiomatic treatment of three qualitative decision criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 47(3), pp. 452-482, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
choice theory, foundations of online algorithms, qualitative decision theory, agent models |
17 | Richard Hull 0001, François Llirbat, Eric Simon, Jianwen Su, Guozhu Dong, Bharat Kumar, Gang Zhou |
Declarative workflows that support easy modification and dynamic browsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACC ![In: Proceedings of the international joint conference on Work activities coordination and collaboration 1999, San Francisco, California, USA, February 22-25, 1999, pp. 69-78, 1999, ACM, 978-1-58113-070-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
choice-based execution, decision-making, browsing, workflow management, declarative semantics |
17 | Ray Hackney, Gurpreet Dhillon, Neil McBride, Shalini Kesar |
Interpreting IS/IT Decision Support in the UK Primary Health Care System: Issues of Consumer Orientation and Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Primary health care IS/IT, markets and hierarchy, patient on, markets and hierarchy, patient choice, market orientation |
17 | Tino Pyssysalo, Leo Ojala |
Causal Modeling of a Video-on-Demand System Using Predicate/Transition Net Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 625-632, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
high-level net model, bunching property, resource allocation mechanism, request service, refusal by choice feature, predicate/transition net formalism, stochastic net theoretical methods, time formalisms, performance analysis, reachability analysis, interactive television, parallel machine scheduling, causal modeling, FIFO queues, video-on-demand system |
17 | Abdelhakim Hafid, Gregor von Bochmann, Brigitte Kerhervé |
A Quality of Service Negotiation Procedure for Distributed Multimedia Presentational Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 5th International Symposium on High Performance Distributed Computing (HPDC '96), Syracuse, NY, USA, August 6-9, 1996., pp. 330-339, 1996, IEEE Computer Society, 0-8186-7582-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
service quality negotiation procedure, distributed multimedia presentational applications, dynamic system configuration choice, news-on-demand, optimization approach, monomedia object, user cost, automatic adaptation, quality degradations, distributed processing, optimisation, multimedia systems, quality control, user requirements, information services, negotiation support systems, file servers |
17 | Rolf Drechsler, Bernd Becker 0001 |
Dynamic minimization of OKFDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 602-607, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
dynamic minimization, OKFDDs, small Ordered Kronecker Functional Decision Diagrams, Ordered Functional Decision Diagrams, dynamic variable ordering, decomposition type choice, OKFDD package, Boolean functions, logic design, directed graphs, decision theory, diagrams, minimisation, Ordered Binary Decision Diagrams, PUMA |
17 | Sriganesh Madhvanath, Venu Govindaraju |
Serial classifier combination for handwritten word recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 911-914, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
off-line handwritten word recognition algorithms, serial classifier combination, lexicon size, intrinsic recognition power, feature orthogonality, top-choice recognition rate, analytical word classifiers, high-performance holistic classifier, image classification, document image processing |
17 | Jeffrey A. Barnett |
Calculating Dempster-Shafer Plausibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 13(6), pp. 599-602, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
plausible reasoning, Dempster-Shafer, belief calculus, probability, probability, inference mechanisms, decision theory, decision theory, equality, calculus, sufficient condition, choice, plausibility |
15 | Chandra R. Bhat, Ipek N. Sener |
A copula-based closed-form binary logit choice model for accommodating spatial correlation across observational units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Geogr. Syst. ![In: J. Geogr. Syst. 11(3), pp. 243-272, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
JEL C35 |
15 | Harrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska |
Computational Social Choice Using Relation Algebra and RelView. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings, pp. 13-28, 2009, Springer, 978-3-642-04638-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Martin C. Rinard |
Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings, pp. 1-16, 2009, Springer, 978-3-642-02958-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Jason J. Jung, Ngoc Thanh Nguyen 0001 |
Consensus Choice for Reconciling Social Collaborations on Semantic Wikis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCI ![In: Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems, First International Conference, ICCCI 2009, Wroclaw, Poland, October 5-7, 2009. Proceedings, pp. 472-480, 2009, Springer, 978-3-642-04440-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Conflict resolution, Semantic wiki, Consensus theory |
15 | Anne Bouillard, Bruno Gaujal |
Backward Coupling in Bounded Free-Choice Nets Under Markovian and Non-Markovian Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 18(4), pp. 473-498, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Heaps of pieces, Max-plus systems, Petri nets, Perfect simulation |
15 | Raymond Bisdorff, Patrick Meyer, Marc Roubens |
R UBIS : a bipolar-valued outranking method for the choice problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
4OR ![In: 4OR 6(2), pp. 143-165, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
MSC Classification (2000) 05C20, 90B50 |
15 | Marc Pauly |
Formal Methods and the Theory of Social Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings, pp. 1-2, 2008, Springer, 978-3-540-78912-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Larissa Meinicke, Ian J. Hayes |
Probabilistic Choice in Refinement Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings, pp. 243-267, 2008, Springer, 978-3-540-70593-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Ljiljana Simic, Stevan M. Berber, Kevin W. Sowerby |
Partner Choice and Power Allocation for Energy Efficient Cooperation in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008, pp. 4255-4260, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Amanda Stent, Srinivas Bangalore, Giuseppe Di Fabbrizio |
Where do thewords come from? Learning models for word choice and ordering from spoken dialog corpora. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 5037-5040, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Linh Vu, Kristi A. Morgansen |
Modeling and analysis of dynamic decision making in sequential two-choice tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 1121-1126, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Ashit Gosalia, Xin (Shin) Zhang |
Automatic plan choice validation using performance statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBTest ![In: Proceedings of the 1st International Workshop on Testing Database Systems, DBTest 2008, Vancouver, BC, Canada, June 13, 2008, pp. 10, 2008, ACM, 978-1-60558-233-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
performance statistics, optimizer, XML, data warehousing, performance test, query plan |
15 | P. K. Kannan 0001, Barbara Kline Pope, Ai-Mei Chang |
Pricing Product Lines of Digital Content: A Model Using Online Choice Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA, pp. 300, 2008, IEEE Computer Society, 0-7695-3075-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Lawrence C. Paulson |
The Relative Consistency of the Axiom of Choice - Mechanized Using Isabelle/ZF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings, pp. 486-490, 2008, Springer, 978-3-540-69405-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Yueping Li, Yunting Lu |
A Note on Root Choice for Parallel Processing of Tree Decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, Second KES International Symposium, KES-AMSTA 2008, Incheon, Korea, March 26-28, 2008. Proceedings, pp. 713-722, 2008, Springer, 978-3-540-78581-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
algorithm, parallel processing, treewidth, tree decomposition |
15 | Walter Bossert, Kotaro Suzumura |
Domain Closedness Conditions and Rational Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 24(2), pp. 75-88, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) Primary 91B08, Secondary 06A06 |
15 | Wilfred Ng |
Prioritized Preferences and Choice Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2007, 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings, pp. 261-276, 2007, Springer, 978-3-540-75562-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández |
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers, pp. 206-222, 2007, Springer, 978-3-642-00674-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jan Olhager, Erik Selldin |
Strategic Choice of Manufacturing Planning and Control Approaches: Empirical Analysis of Drivers and Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APMS ![In: Advances in Production Management Systems, International IFIP TC 5, WG 5.7 Conference on Advances in Production Management Systems (APMS 2007), September 17-19, Linköping, Sweden, pp. 35-42, 2007, Springer, 978-0-387-74156-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Theory testing, Performance, Manufacturing, Empirical analysis, Survey research |
15 | Theresa Lauraeus-Niinivaara, Timo Saarinen, Anssi Öörni |
Knowledge and Choice Uncer tainty Affect Consumer Search and Buying Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, 3-6 January 2007, Waikoloa, Big Island, HI, USA, pp. 82, 2007, IEEE Computer Society, 0-7695-2755-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Márjory C. C. Abreu, Anne M. P. Canuto |
Evaluating the Influence of the Choice of the Ensemble Members in Some Fuzzy Combination Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2007, Celebrating 20 years of neural networks, Orlando, Florida, USA, August 12-17, 2007, pp. 448-453, 2007, IEEE, 978-1-4244-1379-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Elke Moons, Geert Wets, Marc Aerts |
Nonlinear Models for Determining Mode Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA Workshops ![In: Progress in Artificial Intelligence, 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007, Proceedings, pp. 183-194, 2007, Springer, 978-3-540-77000-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | J. Paul Elhorst, Jan Oosterhaven |
Forecasting the impact of transport improvements on commuting and residential choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Geogr. Syst. ![In: J. Geogr. Syst. 8(1), pp. 39-59, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
JEL classification C25, C53, J61, R23 |
15 | Zinan Lin 0003, Elza Erkip, Andrej Stefanov |
Cooperative Regions and Partner Choice in Coded Cooperative Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 54(4), pp. 760-760, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Zinan Lin 0003, Elza Erkip, Andrej Stefanov |
Cooperative Regions and Partner Choice in Coded Cooperative Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 54(7), pp. 1323-1334, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Yunhong Zhou |
Improved Multi-unit Auction Clearing Algorithms with Interval (Multiple-Choice) Knapsack Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006, Proceedings, pp. 494-506, 2006, Springer, 3-540-49694-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Estella Annoni, Franck Ravat, Olivier Teste, Gilles Zurfluh |
Automating the Choice of Decision Support System Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 17th International Conference, DEXA 2006, Kraków, Poland, September 4-8, 2006, Proceedings, pp. 244-253, 2006, Springer, 3-540-37871-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Miroslaw Staron, Claes Wohlin |
An Industrial Case Study on the Choice Between Language Customization Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROFES ![In: Product-Focused Software Process Improvement, 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006, Proceedings, pp. 177-191, 2006, Springer, 3-540-34682-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Gianluca Antonini, Matteo Sorci, Michel Bierlaire, Jean-Philippe Thiran |
Discrete Choice Models for Static Facial Expression Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIVS ![In: Advanced Concepts for Intelligent Vision Systems, 8th International Conference, ACIVS 2006, Antwerp, Belgium, September 18-21, 2006, Proceedings, pp. 710-721, 2006, Springer, 3-540-44630-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Adrian Petcu, Boi Faltings, David C. Parkes |
MDPOP: faithful distributed implementation of efficient social choice problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 1397-1404, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Y. Chao |
Reachability of nonsynchronized choice Petri nets and its applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 35(6), pp. 1203-1213, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Nobuhiro Kaji, Sadao Kurohashi |
Lexical Choice via Topic Adaptation for Paraphrasing Written Language to Spoken Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNLP ![In: Natural Language Processing - IJCNLP 2005, Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings, pp. 981-992, 2005, Springer, 3-540-29172-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Daniel L. Kovacs |
Virtual Games: A New Approach to Implementation of Social Choice Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEEMAS ![In: Multi-Agent Systems and Applications IV, 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings, pp. 266-275, 2005, Springer, 3-540-29046-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Irina Georgescu |
On the Notion of Dominance of Fuzzy Choice Functions and Its Application in Multicriteria Decision Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings, pp. 257-268, 2005, Springer, 3-540-27326-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Meine van der Meulen, Miguel A. Revilla |
The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Dependable Computing - EDCC-5, 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings, pp. 199-209, 2005, Springer, 3-540-25723-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Takeshi Kurosawa, Akiya Inoue, Ken Nishimatsu |
Service Demand Analysis Using Customer-choice Behavior Modeling, with Consideration of Awareness and Perception. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EEE ![In: 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March - 1 April 2005, Hong Kong, China, pp. 250-255, 2005, IEEE Computer Society, 0-7695-2274-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Céline Mancas-Thillou, Bernard Gosselin |
Color Text Extraction from Camera-based Images the Impact of the Choice of the Clustering Distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Eighth International Conference on Document Analysis and Recognition (ICDAR 2005), 29 August - 1 September 2005, Seoul, Korea, pp. 312-316, 2005, IEEE Computer Society, 0-7695-2420-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Yash P. Aneja, R. Chandrasekaran, K. P. K. Nair |
Minimal-cost system reliability with discrete-choice sets for components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 53(1), pp. 71-76, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Irina Georgescu |
Consistency Conditions for Fuzzy Choice Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Days ![In: Computational Intelligence, Theory and Applications, International Conference 8th Fuzzy Days, Dortmund, Germany, Sept. 29 - Oct. 01, 2004, pp. 317-324, 2004, Springer, 978-3-540-22807-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Martín Abadi, Georges Gonthier, Benjamin Werner |
Choice in Dynamic Linking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 12-26, 2004, Springer, 3-540-21298-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Ildar Z. Batyrshin, Natalja Shajdullina, Leonid Sheremetov |
Strict Valued Preference Relations and Choice Functions in Decision-Making Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2004: Advances in Artificial Intelligence, Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004, Proceedings, pp. 332-341, 2004, Springer, 3-540-21459-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Junmo Cheng, Fuyuan Xu, Daogao Wang |
Study on knowledge experts' map and choice of knowledge experts in knowledge interchange system of the corporation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (3) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 2102-2107, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Gianluigi Greco, Antonella Guzzo, Domenico Saccà, Francesco Scarcello |
Event choice datalog: a logic programming language for reasoning in multiple dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy, pp. 238-249, 2004, ACM, 1-58113-819-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
knowledge representation, logic programming |
15 | Boi Faltings |
A Budget-Balanced, Incentive-Compatible Scheme for Social Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMEC ![In: Agent-Mediated Electronic Commerce VI, Theories for and Engineering of Distributed Mechanisms and Systems, AAMAS 2004 Workshop, AMEC 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers, pp. 30-43, 2004, Springer, 3-540-29737-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Raymond Bisdorff, Marc Roubens |
Choice Procedures in Pairwise Comparison Multiple-Attribute Decision Making Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers, pp. 1-7, 2003, Springer, 3-540-22145-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Andrew E. Fano, Scott W. Kurth |
Personal choice point: helping users visualize what it means to buy a BMW. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 8th International Conference on Intelligent User Interfaces, IUI 2003, Miami, FL, USA, January 12-15, 2003, pp. 46-52, 2003, ACM, 1-58113-586-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
financial planning, goal conflicts, visualization, recommendation systems, personalization, user modeling, decision theory |
15 | Wenyan Gan, Deyi Li |
Optimal Choice of Parameters for a Density-Based Clustering Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings, pp. 603-606, 2003, Springer, 3-540-14040-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Javier Esparza |
A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 18-20 June 2003, Guimaraes, Portugal, pp. 61-70, 2003, IEEE Computer Society, 0-7695-1887-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Anuj Dawar, David Richerby |
A Fixed-Point Logic with Symmetric Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings, pp. 169-182, 2003, Springer, 3-540-40801-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Tomohisa Yamashita, Robert L. Axtell, Koichi Kurumatani, Azuma Ohuchi |
Investigation of Mutual Choice Metanorm in Group Dynamics for Solving Social Dilemmas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MAMUS ![In: Multi-Agent for Mass User Support, International Workshop, MAMUS 2003 Acapulco, Mexico, August 10, 2003 Revised and Invited Papers, pp. 137-153, 2003, Springer, 3-540-21940-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Juliane Dehnert |
Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings, pp. 121-141, 2002, Springer, 3-540-43787-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Bernd Jäger, Karl-Ernst Biebler |
Problems of the Model Choice in Classes of Mendelian Inheritance Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMDA ![In: Medical Data Analysis, Third International Symposium, ISMDA 2002, Rome, Italy, October 8-11, 2002, Proceedings, pp. 98-104, 2002, Springer, 3-540-00044-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Malcolm J. Beynon |
Investigating the Choice of l and u Values in the Extended Variable Precision Rough Sets Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002, Proceedings, pp. 61-68, 2002, Springer, 3-540-44274-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Luis Antunes 0001, João Faria, Helder Coelho |
Choice: The Key for Autonomy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings, pp. 142-154, 2001, Springer, 3-540-43030-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Ahmed Abdelkhalek 0002, Angelos Bilas, Alexander Michaelides |
Parallelization and Performance of Portfolio Choice Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: Proceedings of the 2001 International Conference on Parallel Processing, ICPP 2002, 3-7 September 2001, Valencia, Spain, pp. 277-286, 2001, IEEE Computer Society, 0-7695-1257-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Thierry Coquand, Erik Palmgren |
Intuitionistic choice and classical logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 39(1), pp. 53-74, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Yukinobu Hamuro, Naoki Katoh, Katsutoshi Yada |
Discovering Interpretable Rules that Explain Customers' Brand Choice Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, Third International Conference, DS 2000, Kyoto, Japan, December 4-6, 2000, Proceedings, pp. 263-267, 2000, Springer, 3-540-41352-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Gregory Aist, Jack Mostow |
Improving Story Choice in a Reading Tutor that Listens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 5th International Conference, ITS 2000, Montréal, Canada, June 19-23, 2000, Proceedings, pp. 645, 2000, Springer, 3-540-67655-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Steven Willmott, Monique Calisti, Boi Faltings, Santiago Macho-Gonzalez, Omar Belakhdar, Marc Torrens |
CCL: Expressions of Choice in Agent Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMAS ![In: 4th International Conference on Multi-Agent Systems, ICMAS 2000, Boston, MA, USA, July 10-12, 2000, pp. 325-332, 2000, IEEE Computer Society, 0-7695-0625-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Edward W. Christensen, James R. Bailey |
Repository Choice: An Exploration of Accessibility, Satisfaction, and Usefulness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, USA, 2000, IEEE Computer Society, 0-7695-0493-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Suzana Andova |
Process Algebra with Probabilistic Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTS ![In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 111-129, 1999, Springer, 3-540-66010-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Jonathan W. Palmer, Cheri Speier |
Teams: Virtualness and Media Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998, pp. 131-141, 1998, IEEE Computer Society, 0-8186-8255-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Gerald L. Lohse, Eric J. Johnson |
A Comparison of Two Process Tracing Methods for Choice Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 29th Annual Hawaii International Conference on System Sciences (HICSS-29), January 3-6, 1996, Maui, Hawaii, USA, pp. 86-97, 1996, IEEE Computer Society, 0-8186-7324-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Peter Kemper, Falko Bause |
An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings, pp. 263-278, 1992, Springer, 3-540-55676-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Elias Dahlhaus, Johann A. Makowsky |
The Choice of Programming Primitives for SETL-Like Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings, pp. 160-172, 1986, Springer, 3-540-16442-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | P. S. Thiagarajan, Klaus Voss |
In praise of free choice nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory in Petri Nets ![In: Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers, pp. 438-454, 1984, Springer, 3-540-15204-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
14 | Adrián Riesco 0001, Juan Rodríguez-Hortalá |
Programming with singular and plural non-deterministic functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010, pp. 83-92, 2010, ACM, 978-1-60558-727-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
non-deterministic functions, semantics, program transformation, term rewriting, maude |
14 | Yifeng Chen, Jeff W. Sanders |
Unifying Probability with Nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 467-482, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Vincenzo Auletta, Paolo Penna, Giuseppe Persiano, Carmine Ventre |
Alternatives to Truthfulness Are Hard to Recognize. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAGT ![In: Algorithmic Game Theory, First International Symposium, SAGT 2008, Paderborn, Germany, April 30-May 2, 2008. Proceedings, pp. 194-205, 2008, Springer, 978-3-540-79308-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Michael J. Wooldridge |
Logic for Automated Mechanism Design and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATES ![In: Multiagent System Technologies, 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings, pp. 1, 2008, Springer, 978-3-540-87804-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Jay Cheng |
Constructions of Fault-Tolerant Optical 2-to-1 FIFO Multiplexers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 53(11), pp. 4092-4105, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Margit Kastner, Gerhard Furtmüller |
Operationalization of the Metadata Element "Difficulty". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 7th IEEE International Conference on Advanced Learning Technologies, ICALT 2007, Niigata, Japan, July 18-20, 2007, pp. 608-612, 2007, IEEE Computer Society, 978-0-7695-2916-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Carlota Lorenzo, Efthymios Constantinides, Peter Geurts, Miguel A. Gómez |
Impact of Web Experience on e-Consumer Responses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: E-Commerce and Web Technologies, 8th International Conference, EC-Web 2007, Regensburg, Germany, September 3-7, 2007, Proceedings, pp. 191-200, 2007, Springer, 978-3-540-74562-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
virtual buying behaviour, online marketing tools, online marketing, Web experience |
14 | Michel Bierlaire |
A theoretical analysis of the cross-nested logit model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 144(1), pp. 287-300, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Transportation demand, Logit, GEV, Random utility, Behavior model |
14 | Paolo Liberatore |
Complexity results on DPLL and resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 7(1), pp. 84-107, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Davis-Putnam, NP-completeness, propositional satisfiability |
14 | Harald Fecher, Mila E. Majster-Cederbaum |
Action Refinement Applied to Late Decisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 18(2), pp. 211-230, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Coarsest congruence, Equivalence, Action refinement, Event structure, True concurrency |
14 | Vincenzo Auletta, Roberto De Prisco, Paolo Penna, Giuseppe Persiano, Carmine Ventre |
New Constructions of Mechanisms with Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (1) ![In: Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I, pp. 596-607, 2006, Springer, 3-540-35904-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Alexander Brodsky 0001, Hadon Nash |
CoJava: Optimization Modeling by Nondeterministic Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings, pp. 91-106, 2006, Springer, 3-540-46267-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Georgios Varsamopoulos, Sandeep K. S. Gupta |
Optimal Offline and Online Registration Techniques for Location Management with Overlapping Registration Areas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 4(5), pp. 474-488, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
overlapping registration area, optimization, online algorithm, cellular network, Location management, mobile communication network |
14 | Ikuo Yamasaki, Ryutaro Kawamura |
Service-list and path-allocation control for maximizing network profit in multiple service-classes networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS (1) ![In: Managing Next Generation Convergence Networks and Services, IEEE/IFIP Network Operations and Management Symposium, NOMS 2004, Seoul, Korea, 19-23 April 2004, Proceedings, pp. 773-786, 2004, IEEE, 0-7803-8230-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Loïc Hélouët |
Some Pathological Message Sequence Charts, and How to Detect Them. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2001: Meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings, pp. 348-364, 2001, Springer, 3-540-42281-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | William L. Mitchell, Daphne Economou, Steve Pettifer, Adrian J. West |
Choosing and using a driving problem for CVE technology development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRST ![In: Proceedings of the ACM Symposium on Virtual Reality Software and Technology, VRST 2000, Seoul, South Korea, October 22-25, 2000., pp. 16-24, 2000, ACM, 1-58113-316-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
evaluation, education, human factors, Design methodology |
14 | Bezalel Gavish, Joakim Kalvenes |
The impact of satellite altitude on the performance of LEOS based communication systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 4(2), pp. 199-213, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Kenneth L. Calvert, Ellen W. Zegura, Michael J. Donahoo |
Core selection methods for multicast routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), September 20-23, 1995, Las Vegas, Nevada, USA, pp. 638, 1995, IEEE Computer Society, 0-8186-7180-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
core selection methods, multicast routing algorithms, multicast routing tree, traffic concentration, group information, delay, performance measures, bandwidth, telecommunication network routing, graph models, network nodes, multicast group, routing performance, distributed groups |
14 | Beng-Hong Lim, Anant Agarwal |
Waiting Algorithms for Synchronization in Large-Scale Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 11(3), pp. 253-294, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
producer-consumer synchronization, competitive analysis, locks, blocking, spinning, waiting time, barriers |
14 | Vaughan R. Pratt |
The Duality of TIme and Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings, pp. 237-253, 1992, Springer, 3-540-55822-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Tzilla Elrad, Sungyoung Lee, Ufuk Verun |
Extending Working Evnrironments for the Development of Reactive/Adaptive Systems with Intelligent Controls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Ada: Moving Towards 2000, 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992, Proceedings, pp. 242-256, 1992, Springer, 3-540-55585-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Grace Ruiz Little |
Establishing a graphics standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 18th Annual ACM SIGUCCS Conference on User Services, Cincinnati, Ohio, USA, September 30 - October 03, 1990, pp. 331-334, 1990, ACM, 0-89791-406-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
13 | Mark Timmer |
SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 149-150, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
SCOOP, probabilistic process algebra, data-dependent probabilistic choice, symbolic optimisations, state space reduction, linearisation |
Displaying result #601 - #700 of 17288 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|