3865 search results - page 355 / 773 » From Bidirectionality to Alternation |
132
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
This paper introduces bubbling menus, a new design for cascading drop-down menus. Bubbling menus combine the bubble cursor [10] with directional mouse-gesture techniques to facili...
171
Voted
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Tile sets and tilings of the plane appear in many topics ranging from logic (the Entscheidungsproblem) to physics (quasicrystals). The idea is to enforce some global prop...
167
Voted
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
280
click to vote
VLDB
2002
ACM
16 years 7 months ago
2002
ACM
Abstract. Several alternatives to manage large XML document collections exist, ranging from file systems over relational or other database systems to specifically tailored XML base...
162
click to vote
SIGMOD
2001
ACM
16 years 6 months ago
2001
ACM
Managing multiple versions of XML documents represents an important problem, because of many applications ranging from traditional ones, such as software configuration control, to...