Sciweavers

3901 search results - page 380 / 781
» software 2008
Sort
View
AVI
2008
15 years 9 months ago
Users' quest for an optimized representation of a multi-device space
A plethora of reaching techniques, intended for moving objects between locations distant to the user, have recently been proposed and tested. One of the most promising techniques i...
Dzmitry Aliakseyeu, Andrés Lucero, Jean-Ber...
FOSSACS
2008
Springer
15 years 8 months ago
The Implicit Calculus of Constructions as a Programming Language with Dependent Types
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
Bruno Barras, Bruno Bernardo
AVI
2008
15 years 9 months ago
Scenique: a multimodal image retrieval interface
Searching for images by using low-level visual features, such as color and texture, is known to be a powerful, yet imprecise, retrieval paradigm. The same is true if search relies...
Ilaria Bartolini, Paolo Ciaccia
SCAM
2008
IEEE
16 years 1 months ago
Type Highlighting: A Client-Driven Visual Approach for Class Hierarchies Reengineering
Polymorphism and class hierarchies are key to increasing the extensibility of an object-oriented program but also raise challenges for program comprehension. Despite many advances...
Petru Florin Mihancea
189
Voted
CISSE
2008
Springer
15 years 8 months ago
Anonymity Leakage Reduction in Network Latency
Each Internet communication leaves trails here or there, that can be followed back to the user. Notably, anonymous communication schemes are purposed to hide users' identity ...
Longy O. Anyanwu, Jared Keengwe, Gladys A. Arome