984 search results - page 14 / 197 » ideas 2006 |
ISSTA
2006
ACM
15 years 3 months ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
AMR
2006
Springer
15 years 1 months ago
2006
Springer
This work presents a discriminative model for the retrieval of pictures from text queries. The core idea of this approach is to minimize a loss directly related to the retrieval pe...
77
Voted
DALT
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In this paper, we propose a collaborative framework to realize a Virtual Enterprise (VE) for the domain of Micro Assembly. The framework is developed using 3APL technolog...
DIS
2006
Springer
15 years 1 months ago
2006
Springer
We study the combination of Kalman filter and a recently proposed algorithm for dynamically maintaining a sliding window, for learning from streams of examples. We integrate this i...
ER
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents a design method for user interfaces based on some ideas from conversation analysis. The method uses interaction diagram and it is conceived to design all flow ...