Sciweavers

1347 search results - page 164 / 270
» On the Structure of the Minimum Time Function
Sort
View
FROCOS
2007
Springer
15 years 10 months ago
Noetherianity and Combination Problems
In abstract algebra, a structure is said to be Noetherian if it does not admit infinite strictly ascending chains of congruences. In this paper, we adapt this notion to first-ord...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
ICDE
2003
IEEE
137views Database» more  ICDE 2003»
15 years 9 months ago
Personalized Portals for the Wireless and Mobile User; a Mobile Agent Approach
The Wireless environment requires new type of services and new ways for structuring the needed content. Personalization comes into aid via the creation of personalized portals tha...
Christoforos Panayiotou, George Samaras
CHI
1993
ACM
15 years 8 months ago
Synthetic synesthesia: mixing sound with color
An interface is described that uses color and spatial relations to provide an intuitive interface for sound manipulation. A simple geometric shape, called the Geometric Sound Mixe...
Kristinn R. Thórisson, Karen Donoghue
PR
2006
132views more  PR 2006»
15 years 4 months ago
Some approaches to improve tree-based nearest neighbour search algorithms
Nearest neighbour search is a widely used technique in pattern recognition. During the last three decades a large number of fast algorithms have been proposed. In this work we are...
Eva Gómez-Ballester, Luisa Micó, Jos...
CORR
2011
Springer
169views Education» more  CORR 2011»
14 years 11 months ago
Streaming Tree Transducers
We introduce streaming tree transducers as an analyzable and expressive model for transforming hierarchically structured data in a single pass. Given a linear encoding of the inpu...
Rajeev Alur, Loris D'Antoni