15754 search results - page 760 / 3151 » Programs are Knowledge Bases |
213
click to vote
POPL
2012
ACM
14 years 3 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
220
click to vote
IROS
2009
IEEE
16 years 2 months ago
2009
IEEE
— Autonomous underwater vehicles (AUVs) are an indispensable tool for marine scientists to study the world’s oceans. The Slocum glider is a buoyancy driven AUV designed for mis...
216
click to vote
GECCO
2004
Springer
16 years 28 days ago
2004
Springer
A new graph-based evolutionary algorithm named “Genetic Network Programming, GNP” has been proposed. GNP represents its solutions as directed graph structures, which can improv...
198
click to vote
SIGSOFT
2003
ACM
16 years 8 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
194
click to vote
ICFP
2007
ACM
16 years 7 months ago
2007
ACM
We present a user-friendly approach to unifying program creation and execution, based on a notion of "tangible values" (TVs), which are visual and interactive manifestat...