614 search results - page 17 / 123 » DE in Slovenia: Where are We |
VL
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper we present a formal approach, based on meta-modelling and graph transformation, to the generation of environments for visual languages (VLs) supporting multiple view...
IEAAIE
2005
Springer
14 years 1 months ago
2005
Springer
When visiting cities as tourists, most users intend to explore the area looking for interesting things to see or for information about places, events, and so on. An adaptive inform...
IV
2003
IEEE
14 years 27 days ago
2003
IEEE
In this paper we present a prototypal file manager, VENNFS, that is designed to overcome some of the limitations of the current desktop interfaces, that are strongly based on hie...
COMPGEOM
2010
ACM
14 years 21 days ago
2010
ACM
We prove that the union complexity of a set of n constantcomplexity locally fat objects (which can be curved and/or non-convex) in the plane is O(λt+2(n) log n), where t is the m...
TLCA
2001
Springer
14 years 1 days ago
2001
Springer
We introduce λµ→∧∨⊥ , an extension of Parigot’s λµ-calculus where disjunction is taken as a primitive. The associated reduction relation, which includes the permutati...