6274 search results - page 941 / 1255 » Proofs, Programs, Processes |
123
Voted
AROBOTS
1999
15 years 3 months ago
1999
Abstract. In this paper, we present a system called the Active Vision Shell (AV-shell) which provides a programming framework for expressing and implementing autonomous robotic tas...
MSCS
1998
15 years 2 months ago
1998
The context of this article is the program to develop monoidal bicategories with a feedback operation as an algebra of processes, with applications to concurrency theory. The obje...
131
click to vote
ORL
1998
15 years 2 months ago
1998
Recently, Becker and Geiger and Bafna, Berman and Fujito gave 2-approximation algorithms for the feedback vertex set problem in undirected graphs. We show how their algorithms can...
101
click to vote
SAC
2002
ACM
15 years 2 months ago
2002
ACM
This paper describes ongoing work on a project to simulate the behaviour of epidermal growth factor receptors. These are structures which can be found on the surface of cells in th...
127
click to vote
SQJ
2002
15 years 2 months ago
2002
Abstract. The work of Voas and colleagues has introduced, refined and applied the propagation, infection and execution (PIE) analysis technique for measuring testability of program...