Sciweavers

2409 search results - page 119 / 482
» On Extended Regular Expressions
Sort
View
SIGPRO
2010
154views more  SIGPRO 2010»
15 years 2 months ago
UPRE method for total variation parameter selection
Total Variation (TV) regularization is a popular method for solving a wide variety of inverse problems in image processing. In order to optimize the reconstructed image, it is imp...
Youzuo Lin, Brendt Wohlberg, Hongbin Guo
ICDT
2007
ACM
112views Database» more  ICDT 2007»
15 years 10 months ago
Commutativity Analysis in XML Update Languages
Abstract. A common approach to XML updates is to extend XQuery with update operations. This approach results in very expressive languages which are convenient for users but are dif...
Giorgio Ghelli, Kristoffer Høgsbro Rose, J&...
137
Voted
ATVA
2010
Springer
128views Hardware» more  ATVA 2010»
15 years 5 months ago
What's Decidable about Sequences?
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...
Carlo A. Furia
ECAI
2004
Springer
15 years 10 months ago
Compilation of LTL Goal Formulas into PDDL
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
Stephen Cresswell, Alexandra M. Coddington
ECOOP
2003
Springer
15 years 9 months ago
Higher-Order Hierarchies
This paper explains how higher-order hierarchies can be used to handle the expression problem. The expression is concerned with extending both the set of data structures and the s...
Erik Ernst