Sciweavers

6833 search results - page 326 / 1367
» Some two-character sets
Sort
View
SAS
2005
Springer
132views Formal Methods» more  SAS 2005»
16 years 8 days 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,...
XSYM
2005
Springer
81views Database» more  XSYM 2005»
16 years 7 days ago
MemBeR: A Micro-benchmark Repository for XQuery
XQuery is a feature-rich language with complex semantics. This makes it hard to come up with a benchmark suite which covers all performance-critical features of the language, and a...
Loredana Afanasiev, Ioana Manolescu, Philippe Mich...
CAAN
2004
Springer
16 years 5 days ago
Congestion Games, Load Balancing, and Price of Anarchy
Imagine a set of self-interested clients, each of whom must choose a server from a permissible set. A server’s latency is inversely proportional to its speed, but it grows linear...
Anshul Kothari, Subhash Suri, Csaba D. Tóth...
CMMR
2004
Springer
97views Music» more  CMMR 2004»
16 years 5 days ago
Evolutionary Optimization of Music Performance Annotation
In this paper we present an enhancement of edit distance based music performance annotation. The annotation captures musical expressivity not only in terms of timing deviations but...
Maarten Grachten, Josep Lluís Arcos, Ramon ...
EUSAI
2004
Springer
16 years 5 days ago
Multiple User Profile Merging (MUPE): Key Challenges for Environment Awareness
In this paper we describe the issues that need to be addressed when setting up an aware environment occupied simultaneously by several users. Combining the delivery of services for...
Ben Salem, Matthias Rauterberg