27692 search results - page 140 / 5539 » Where is ... |
125
click to vote
BIRTHDAY
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. In this survey on implicit induction I recollect some memories on the history of implicit induction as it is relevant for future research on computer-assisted theorem pro...
120
Voted
CIARP
2006
Springer
15 years 4 months ago
2006
Springer
The Neural Gas (NG) is a Vector Quantization technique where a set of prototypes self organize to represent the topology structure of the data. The learning algorithm of the Neural...
131
click to vote
CSCW
2006
ACM
15 years 4 months ago
2006
ACM
Code management systems like Concurrent Version System (CVS) can play an important role in supporting coordination in software development, but often at some time removed from ori...
129
Voted
COCOON
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we consider a new visual cryptography scheme that allows for sharing of multiple secret images on graphs: we are given an arbitrary graph (V, E) where every node an...
111
click to vote
CCCG
2007
15 years 3 months ago
2007
In this paper, we introduce a generalized version of the Watchman Route Problem (WRP) where the objective is to plan a continuous closed route in a polygon (possibly with holes) a...