Sciweavers

1963 search results - page 175 / 393
» Applications of Preferences using Answer Set Programming
Sort
View
SAS
2005
Springer
132views Formal Methods» more  SAS 2005»
15 years 11 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,...
VLC
2002
153views more  VLC 2002»
15 years 5 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...
RECOMB
2008
Springer
16 years 6 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...
CVPR
2010
IEEE
16 years 2 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
CRYPTO
2007
Springer
116views Cryptology» more  CRYPTO 2007»
16 years 7 days 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