Sciweavers

1789 search results - page 47 / 358
» Extending the Choquet integral
Sort
View
FOCS
2006
IEEE
15 years 5 months ago
Fast Algorithms for Logconcave Functions: Sampling, Rounding, Integration and Optimization
We prove that the hit-and-run random walk is rapidly mixing for an arbitrary logconcave distribution starting from any point in the support. This extends the work of [26], where t...
László Lovász, Santosh Vempal...
DEXAW
2003
IEEE
113views Database» more  DEXAW 2003»
15 years 4 months ago
Integrating Ontology Languages and Answer Set Programming
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...
Stijn Heymans, Dirk Vermeir
91
Voted
ISCAS
2003
IEEE
83views Hardware» more  ISCAS 2003»
15 years 4 months ago
An Integrated Framework of Design Optimization and Space Minimization for DSP applications
This paper presents an Integrated Framework of Design Optimization and Space Minimization (IDOM) for generating the minimum number of functional units with schedule length and mem...
Qingfeng Zhuge, Edwin Hsing-Mean Sha, Chantana Cha...
ADBIS
2004
Springer
92views Database» more  ADBIS 2004»
15 years 2 months ago
Optimal Database Locks for Efficient Integrity Checking
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...
Davide Martinenghi
DATESO
2008
133views Database» more  DATESO 2008»
15 years 16 days ago
Incox - A Language for XML Integrity Constraints Description
Presently, there is no specialized language for complex integrity constraints description in XML documents. In this paper we present a language that combines first-order logic toge...
Katerina Opocenska, Michal Kopecky