Sciweavers

4940 search results - page 250 / 988
» On the Complexity of Universal Programs
Sort
View
ESAW
2009
Springer
16 years 1 months ago
Programming Organization-Aware Agents
Organizational notions such as roles, norms (e.g., obligations and permissions), and services are increasingly viewed as natural concepts to manage the complexity of software devel...
M. Birna van Riemsdijk, Koen V. Hindriks, Catholij...
ICRA
2007
IEEE
196views Robotics» more  ICRA 2007»
16 years 26 days ago
A Visual Language for Robot Control and Programming: A Human-Interface Study
Abstract— We describe an interaction paradigm for controlling a robot using hand gestures. In particular, we are interested in the control of an underwater robot by an onsite hum...
Gregory Dudek, Junaed Sattar, Anqi Xu
CIE
2007
Springer
16 years 22 days ago
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
Andrej Bauer, Christopher A. Stone
GECCO
2007
Springer
156views Optimization» more  GECCO 2007»
16 years 22 days ago
Hierarchical genetic programming based on test input subsets
Crucial to the more widespread use of evolutionary computation techniques is the ability to scale up to handle complex problems. In the field of genetic programming, a number of d...
David Jackson
IPPS
2006
IEEE
16 years 17 days ago
Dynamic program phase detection in distributed shared-memory multiprocessors
— We present a novel hardware mechanism for dynamic program phase detection in distributed sharedmemory (DSM) multiprocessors. We show that successful hardware mechanisms for pha...
Engin Ipek, José F. Martínez, Bronis...