3025 search results - page 476 / 605 » Automatic Programming of Robots Using Genetic Programming |
112
Voted
EDCC
2006
Springer
15 years 6 months ago
2006
Springer
- This paper proposes a novel technique for preventing a wide range of data errors from corrupting the execution of applications. The proposed technique enables automated derivatio...
130
Voted
OOPSLA
1995
Springer
15 years 6 months ago
1995
Springer
Existing schemes for object layout and dispatch in the presence of multiple inheritance and separate compilation waste space and are slower than systems with single inheritance. T...
99
Voted
CAV
2008
Springer
15 years 4 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...
95
Voted
IC
2008
15 years 4 months ago
2008
- A web monitor is a program used to monitor some public HTML-based Internet information available from dynamic HTML documents on the Internet based on a user defined set of criter...
118
Voted
ISCAPDCS
2004
15 years 4 months ago
2004
A promising anti-spam technique consists in collecting users opinions that given email messages are spam and using this collective judgment to block message propagation to other u...