Sciweavers

11 search results - page 2 / 3
» Combined Connectivity Augmentation and Orientation Problems
Sort
View
ICCHP
2004
Springer
13 years 10 months ago
proXimity: Ad-Hoc Networks for Enhanced Mobility
David tries not to use unfamiliar trains and buses, he doesn’t travel to places he doesn’t know, and he doesn’t travel in unusual environments without a companion. David is v...
Simon Harper, Stephen Pettitt, Carole A. Goble
TPCG
2003
IEEE
13 years 10 months ago
Guided Navigation in Task-Oriented 3D Graph Visualizations
In many application areas an optimal visualization of a complex graph depends on the specific task to be accomplished by the user. Therefore a means of locally customizable layou...
Guido Reina, Sven Lange-Last, Klaus D. Engel, Thom...
ICPR
2008
IEEE
14 years 6 months ago
Feature selection for real-time image matching systems
This paper proposes a general feature selection approach for real-time image matching systems. To demonstrate the idea's effectiveness, we focus on the issue of rotational in...
Quan Wang, Suya You
CORR
2006
Springer
95views Education» more  CORR 2006»
13 years 5 months ago
SAT Solving for Argument Filterings
Abstract. This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for term...
Michael Codish, Peter Schneider-Kamp, Vitaly Lagoo...
SP
2008
IEEE
113views Security Privacy» more  SP 2008»
13 years 4 months ago
Inter-operating grids through Delegated MatchMaking
The grid vision of a single computing utility has yet to materialize: while many grids with thousands of processors each exist, most work in isolation. An important obstacle for t...
Alexandru Iosup, Todd Tannenbaum, Matthew Farrelle...