Sciweavers

3865 search results - page 355 / 773
» From Bidirectionality to Alternation
Sort
View
CHI
2007
ACM
16 years 7 months ago
Bubbling menus: a selective mechanism for accessing hierarchical drop-down menus
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...
Theophanis Tsandilas, m. c. schraefel
171
Voted
ICALP
2009
Springer
16 years 7 months ago
High Complexity Tilings with Sparse Errors
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...
Bruno Durand, Andrei E. Romashchenko, Alexander Sh...
167
Voted
ICALP
2009
Springer
16 years 7 months ago
On Regular Temporal Logics with Past,
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...
Christian Dax, Felix Klaedtke, Martin Lange
VLDB
2002
ACM
168views Database» more  VLDB 2002»
16 years 7 months ago
Anatomy of a native XML base management system
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...
Thorsten Fiebig, Sven Helmer, Carl-Christian Kanne...
SIGMOD
2001
ACM
121views Database» more  SIGMOD 2001»
16 years 6 months ago
XML Document Versioning
Managing multiple versions of XML documents represents an important problem, because of many applications ranging from traditional ones, such as software configuration control, to...
Shu-Yao Chien, Vassilis J. Tsotras, Carlo Zaniolo