Sciweavers

13734 search results - page 2233 / 2747
» Abstractions of data types
Sort
View
IH
1999
Springer
15 years 11 months ago
Hiding Signatures in Graph Coloring Solutions
Abstract. One way to protect a digital product is to embed an author's signature into the object in the form of minute errors. However, this technique cannot be directly appli...
Gang Qu, Miodrag Potkonjak
ROBOCUP
1999
Springer
113views Robotics» more  ROBOCUP 1999»
15 years 11 months ago
Middle Sized Soccer Robots: ARVAND
Abstract. Arvand is the name of robots specially designed and constructed by sharif CE team for playing soccer according to RoboCup rules and regulations for the middle size robots...
Mansour Jamzad, Amirali Foroughnassiraei, Ehsan Ch...
RANDOM
1998
Springer
15 years 11 months ago
Using Approximation Hardness to Achieve Dependable Computation
Abstract. Redundancy has been utilized to achieve fault tolerant computation and to achieve reliable communication in networks of processors. These techniques can only be extended ...
Mike Burmester, Yvo Desmedt, Yongge Wang
ECP
1997
Springer
128views Robotics» more  ECP 1997»
15 years 11 months ago
SINERGY: A Linear Planner Based on Genetic Programming
In this paper we describe SINERGY, which is a highly parallelizable, linear planning system that is based on the genetic programming paradigm. Rather than reasoning about the world...
Ion Muslea
PLILP
1997
Springer
15 years 11 months ago
DrScheme: A Pedagogic Programming Environment for Scheme
Abstract. Teaching introductory computing courses with Scheme elevates the intellectual level of the course and thus makes the subject more appealing to students with scienti c int...
Robert Bruce Findler, Cormac Flanagan, Matthew Fla...
« Prev « First page 2233 / 2747 Last » Next »