Search results for "choice"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Grigori Mints, Darko Sarenac	Completeness of indexed epsilon-calculus.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF	Epsilon calculus, Finite choice, Completeness
17	James V. Hansen, James B. McDonald	A Generalized Model for Predictive Data Mining.	Inf. Syst. Frontiers	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.	APSEC	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.	J. ACM	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.	WACC	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.	HICSS	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.	EUROMICRO	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.	HPDC	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.	ICCD	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.	ICDAR	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.	IEEE Trans. Pattern Anal. Mach. Intell.	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.	J. Geogr. Syst.	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.	RelMiCS	2009	DBLP DOI BibTeX RDF
15	Martin C. Rinard	Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival.	CADE	2009	DBLP DOI BibTeX RDF
15	Jason J. Jung, Ngoc Thanh Nguyen 0001	Consensus Choice for Reconciling Social Collaborations on Semantic Wikis.	ICCCI	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.	Discret. Event Dyn. Syst.	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.	4OR	2008	DBLP DOI BibTeX RDF	MSC Classification (2000) 05C20, 90B50
15	Marc Pauly	Formal Methods and the Theory of Social Choice.	RelMiCS	2008	DBLP DOI BibTeX RDF
15	Larissa Meinicke, Ian J. Hayes	Probabilistic Choice in Refinement Algebra.	MPC	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.	ICC	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.	ICASSP	2008	DBLP DOI BibTeX RDF
15	Linh Vu, Kristi A. Morgansen	Modeling and analysis of dynamic decision making in sequential two-choice tasks.	CDC	2008	DBLP DOI BibTeX RDF
15	Ashit Gosalia, Xin (Shin) Zhang	Automatic plan choice validation using performance statistics.	DBTest	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.	HICSS	2008	DBLP DOI BibTeX RDF
15	Lawrence C. Paulson	The Relative Consistency of the Axiom of Choice - Mechanized Using Isabelle/ZF.	CiE	2008	DBLP DOI BibTeX RDF
15	Yueping Li, Yunting Lu	A Note on Root Choice for Parallel Processing of Tree Decompositions.	KES-AMSTA	2008	DBLP DOI BibTeX RDF	algorithm, parallel processing, treewidth, tree decomposition
15	Walter Bossert, Kotaro Suzumura	Domain Closedness Conditions and Rational Choice.	Order	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 91B08, Secondary 06A06
15	Wilfred Ng	Prioritized Preferences and Choice Constraints.	ER	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.	INAP/WLP	2007	DBLP DOI BibTeX RDF
15	Jan Olhager, Erik Selldin	Strategic Choice of Manufacturing Planning and Control Approaches: Empirical Analysis of Drivers and Performance.	APMS	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.	HICSS	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.	IJCNN	2007	DBLP DOI BibTeX RDF
15	Elke Moons, Geert Wets, Marc Aerts	Nonlinear Models for Determining Mode Choice.	EPIA Workshops	2007	DBLP DOI BibTeX RDF
15	J. Paul Elhorst, Jan Oosterhaven	Forecasting the impact of transport improvements on commuting and residential choice.	J. Geogr. Syst.	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.	IEEE Trans. Commun.	2006	DBLP DOI BibTeX RDF
15	Zinan Lin 0003, Elza Erkip, Andrej Stefanov	Cooperative Regions and Partner Choice in Coded Cooperative Systems.	IEEE Trans. Commun.	2006	DBLP DOI BibTeX RDF
15	Yunhong Zhou	Improved Multi-unit Auction Clearing Algorithms with Interval (Multiple-Choice) Knapsack Problems.	ISAAC	2006	DBLP DOI BibTeX RDF
15	Estella Annoni, Franck Ravat, Olivier Teste, Gilles Zurfluh	Automating the Choice of Decision Support System Architecture.	DEXA	2006	DBLP DOI BibTeX RDF
15	Miroslaw Staron, Claes Wohlin	An Industrial Case Study on the Choice Between Language Customization Mechanisms.	PROFES	2006	DBLP DOI BibTeX RDF
15	Gianluca Antonini, Matteo Sorci, Michel Bierlaire, Jean-Philippe Thiran	Discrete Choice Models for Static Facial Expression Recognition.	ACIVS	2006	DBLP DOI BibTeX RDF
15	Adrian Petcu, Boi Faltings, David C. Parkes	MDPOP: faithful distributed implementation of efficient social choice problems.	AAMAS	2006	DBLP DOI BibTeX RDF
15	Daniel Y. Chao	Reachability of nonsynchronized choice Petri nets and its applications.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
15	Nobuhiro Kaji, Sadao Kurohashi	Lexical Choice via Topic Adaptation for Paraphrasing Written Language to Spoken Language.	IJCNLP	2005	DBLP DOI BibTeX RDF
15	Daniel L. Kovacs	Virtual Games: A New Approach to Implementation of Social Choice Rules.	CEEMAS	2005	DBLP DOI BibTeX RDF
15	Irina Georgescu	On the Notion of Dominance of Fuzzy Choice Functions and Its Application in Multicriteria Decision Making.	ECSQARU	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.	EDCC	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.	EEE	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.	ICDAR	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.	IEEE Trans. Reliab.	2004	DBLP DOI BibTeX RDF
15	Irina Georgescu	Consistency Conditions for Fuzzy Choice Functions.	Fuzzy Days	2004	DBLP DOI BibTeX RDF
15	Martín Abadi, Georges Gonthier, Benjamin Werner	Choice in Dynamic Linking.	FoSSaCS	2004	DBLP DOI BibTeX RDF
15	Ildar Z. Batyrshin, Natalja Shajdullina, Leonid Sheremetov	Strict Valued Preference Relations and Choice Functions in Decision-Making Procedures.	MICAI	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.	SMC (3)	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.	PPDP	2004	DBLP DOI BibTeX RDF	knowledge representation, logic programming
15	Boi Faltings	A Budget-Balanced, Incentive-Compatible Scheme for Social Choice.	AMEC	2004	DBLP DOI BibTeX RDF
15	Raymond Bisdorff, Marc Roubens	Choice Procedures in Pairwise Comparison Multiple-Attribute Decision Making Methods.	RelMiCS	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.	IUI	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.	RSFDGrC	2003	DBLP DOI BibTeX RDF
15	Javier Esparza	A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs.	ACSD	2003	DBLP DOI BibTeX RDF
15	Anuj Dawar, David Richerby	A Fixed-Point Logic with Symmetric Choice.	CSL	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.	MAMUS	2003	DBLP DOI BibTeX RDF
15	Juliane Dehnert	Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes.	ICATPN	2002	DBLP DOI BibTeX RDF
15	Bernd Jäger, Karl-Ernst Biebler	Problems of the Model Choice in Classes of Mendelian Inheritance Models.	ISMDA	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.	Rough Sets and Current Trends in Computing	2002	DBLP DOI BibTeX RDF
15	Luis Antunes 0001, João Faria, Helder Coelho	Choice: The Key for Autonomy.	EPIA	2001	DBLP DOI BibTeX RDF
15	Ahmed Abdelkhalek 0002, Angelos Bilas, Alexander Michaelides	Parallelization and Performance of Portfolio Choice Models.	ICPP	2001	DBLP DOI BibTeX RDF
15	Thierry Coquand, Erik Palmgren	Intuitionistic choice and classical logic.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
15	Yukinobu Hamuro, Naoki Katoh, Katsutoshi Yada	Discovering Interpretable Rules that Explain Customers' Brand Choice Behavior.	Discovery Science	2000	DBLP DOI BibTeX RDF
15	Gregory Aist, Jack Mostow	Improving Story Choice in a Reading Tutor that Listens.	Intelligent Tutoring Systems	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.	ICMAS	2000	DBLP DOI BibTeX RDF
15	Edward W. Christensen, James R. Bailey	Repository Choice: An Exploration of Accessibility, Satisfaction, and Usefulness.	HICSS	2000	DBLP DOI BibTeX RDF
15	Suzana Andova	Process Algebra with Probabilistic Choice.	ARTS	1999	DBLP DOI BibTeX RDF
15	Jonathan W. Palmer, Cheri Speier	Teams: Virtualness and Media Choice.	HICSS (4)	1998	DBLP DOI BibTeX RDF
15	Gerald L. Lohse, Eric J. Johnson	A Comparison of Two Process Tracing Methods for Choice Tasks.	HICSS (4)	1996	DBLP DOI BibTeX RDF
15	Peter Kemper, Falko Bause	An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
15	Elias Dahlhaus, Johann A. Makowsky	The Choice of Programming Primitives for SETL-Like Programming Languages.	ESOP	1986	DBLP DOI BibTeX RDF
15	P. S. Thiagarajan, Klaus Voss	In praise of free choice nets.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF
14	Adrián Riesco 0001, Juan Rodríguez-Hortalá	Programming with singular and plural non-deterministic functions.	PEPM	2010	DBLP DOI BibTeX RDF	non-deterministic functions, semantics, program transformation, term rewriting, maude
14	Yifeng Chen, Jeff W. Sanders	Unifying Probability with Nondeterminism.	FM	2009	DBLP DOI BibTeX RDF
14	Vincenzo Auletta, Paolo Penna, Giuseppe Persiano, Carmine Ventre	Alternatives to Truthfulness Are Hard to Recognize.	SAGT	2008	DBLP DOI BibTeX RDF
14	Michael J. Wooldridge	Logic for Automated Mechanism Design and Analysis.	MATES	2008	DBLP DOI BibTeX RDF
14	Jay Cheng	Constructions of Fault-Tolerant Optical 2-to-1 FIFO Multiplexers.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
14	Margit Kastner, Gerhard Furtmüller	Operationalization of the Metadata Element "Difficulty".	ICALT	2007	DBLP DOI BibTeX RDF
14	Carlota Lorenzo, Efthymios Constantinides, Peter Geurts, Miguel A. Gómez	Impact of Web Experience on e-Consumer Responses.	EC-Web	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.	Ann. Oper. Res.	2006	DBLP DOI BibTeX RDF	Transportation demand, Logit, GEV, Random utility, Behavior model
14	Paolo Liberatore	Complexity results on DPLL and resolution.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Davis-Putnam, NP-completeness, propositional satisfiability
14	Harald Fecher, Mila E. Majster-Cederbaum	Action Refinement Applied to Late Decisions.	Formal Aspects Comput.	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.	ICALP (1)	2006	DBLP DOI BibTeX RDF
14	Alexander Brodsky 0001, Hadon Nash	CoJava: Optimization Modeling by Nondeterministic Simulation.	CP	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.	IEEE Trans. Mob. Comput.	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.	NOMS (1)	2004	DBLP DOI BibTeX RDF
14	Loïc Hélouët	Some Pathological Message Sequence Charts, and How to Detect Them.	SDL Forum	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.	VRST	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.	Wirel. Networks	1998	DBLP DOI BibTeX RDF
14	Kenneth L. Calvert, Ellen W. Zegura, Michael J. Donahoo	Core selection methods for multicast routing.	ICCCN	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.	ACM Trans. Comput. Syst.	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.	CONCUR	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.	Ada-Europe	1992	DBLP DOI BibTeX RDF
14	Grace Ruiz Little	Establishing a graphics standard.	SIGUCCS	1990	DBLP DOI BibTeX RDF
13	Mark Timmer	SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes.	QEST	2011	DBLP DOI BibTeX RDF	SCOOP, probabilistic process algebra, data-dependent probabilistic choice, symbolic optimisations, state space reduction, linearisation