Sciweavers

1963 search results - page 175 / 393
» Applications of Preferences using Answer Set Programming
Sort
View
132
Voted
SAS
2005
Springer
132views Formal Methods» more  SAS 2005»
15 years 9 months ago
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
Roberto Bagnara, Enric Rodríguez-Carbonell,...
131
Voted
VLC
2002
153views more  VLC 2002»
15 years 3 months ago
An XML-based Quality of Service Enabling Language for the Web
In this paper, we introduce an XML-based Hierarchical QoS Markup Language, called HQML, to enhance distributed multimedia applications on the World Wide Web (WWW) with Quality of ...
Xiaohui Gu, Klara Nahrstedt, Wanghong Yuan, Duangd...
131
Voted
RECOMB
2008
Springer
16 years 4 months ago
Computation of Median Gene Clusters
Whole genome comparison based on gene order has become a popular approach in comparative genomics. An important task in this field is the detection of gene clusters, i.e. sets of g...
Sebastian Böcker, Katharina Jahn, Julia Mixta...
185
Voted
CVPR
2010
IEEE
15 years 11 months ago
Rapid Selection of Reliable Templates for Visual Tracking
We propose a method that rates the suitability of given templates for template-based tracking in real-time. This is important for applications with online template selection, such...
Nicolas Alt, Stefan Hinterstoisser, Nassir Navab
126
Voted
CRYPTO
2007
Springer
116views Cryptology» more  CRYPTO 2007»
15 years 9 months ago
Random Oracles and Auxiliary Input
We introduce a variant of the random oracle model where oracle-dependent auxiliary input is allowed. In this setting, the adversary gets an auxiliary input that can contain informa...
Dominique Unruh