Sciweavers

784 search results - page 38 / 157
» Relaxing the Value Restriction
Sort
View
PODC
1990
ACM
14 years 2 months ago
Half-Order Modal Logic: How to Prove Real-Time Properties
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
Thomas A. Henzinger
FUZZY
2001
Springer
112views Fuzzy Logic» more  FUZZY 2001»
14 years 2 months ago
A Neuron-MOS Threshold Element with Switching Capacitors
In the paper a new approach to building a MOS threshold element and an arti cial neuron on its base is discussed. The implementability of the known MOS threshold elements is restri...
Victor Varshavsky, Vyacheslav Marakhovsky
WINE
2007
Springer
124views Economy» more  WINE 2007»
14 years 4 months ago
Cost of Conciseness in Sponsored Search Auctions
We study keyword auctions in a model where each advertiser has a value for every slot, which is not necessarily proportional to the number of clicks the advertiser expects to rece...
Zoë Abrams, Arpita Ghosh, Erik Vee
UAI
2008
13 years 11 months ago
Observation Subset Selection as Local Compilation of Performance Profiles
Deciding what to sense is a crucial task, made harder by dependencies and by a nonadditive utility function. We develop approximation algorithms for selecting an optimal set of me...
Yan Radovilsky, Solomon Eyal Shimony
SEAL
2010
Springer
13 years 8 months ago
Dominance-Based Pareto-Surrogate for Multi-Objective Optimization
Abstract. Mainstream surrogate approaches for multi-objective problems build one approximation for each objective. Mono-surrogate approaches instead aim at characterizing the Paret...
Ilya Loshchilov, Marc Schoenauer, Michèle S...