2365 search results - page 320 / 473 » All things are connected |
179
click to vote
SAC
2000
ACM
15 years 11 months ago
2000
ACM
The coding by which chromosomes represent candidate solutions is a fundamental design choice in a genetic algorithm. This paper describes a novel coding of spanning trees in a gen...
158
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....
171
click to vote
ITICSE
2010
ACM
15 years 11 months ago
2010
ACM
Teaching pupils the ideas behind objects in programming languages can be difficult since these concepts are mostly and not comprehensible at first sight. Etoys as a visual progra...
167
click to vote
ICMCS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract--In this paper, a procedure is described for the segmentation, content-based coding, and visualization of videoconference image sequences. First, image sequence analysis i...
209
click to vote
ISPAN
1999
IEEE
15 years 10 months ago
1999
IEEE
Much progress has been made toward solving the problem of routing packets inside an ad hoc network, but there are presently no complete proposals for connecting ad hoc networks to...