4438 search results - page 386 / 888 » The Case for Collaborative Programming |
177
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— The goal of developing algorithms for programming robots by demonstration is to create an easy way of programming robots that can be accomplished by everyone. When a de...
189
click to vote
IWPC
2006
IEEE
16 years 1 months ago
2006
IEEE
Code obfuscation makes it harder for a security analyst to understand the malicious payload of a program. In most cases an analyst needs to study the program at the machine code l...
151
Voted
ICTAI
2005
IEEE
16 years 19 days ago
2005
IEEE
Stochastic Shortest Path problems (SSPs) can be efficiently dealt with by the Real-Time Dynamic Programming algorithm (RTDP). Yet, RTDP requires that a goal state is always reach...
179
click to vote
EVOW
2005
Springer
16 years 17 days ago
2005
Springer
Reversible computing basically means computation with less or not at all electrical power. Since the standard binary gates are not usually reversible we use the Fredkin gate in ord...
168
click to vote
AMAST
2004
Springer
16 years 13 days ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...