8132 search results - page 335 / 1627 » Dependability, Abstraction, and Programming |
156
click to vote
ICRA
2006
IEEE
16 years 25 days ago
2006
IEEE
Abstract— We describe how a graph grammar program for robotic self-assembly, together with measurements of kinetic rate data yield a Markov Process model of the dynamics of progr...
190
click to vote
AWIC
2005
Springer
16 years 10 days ago
2005
Springer
This paper presents an approach for applying inductive logic programming to information extraction from HTML documents structured as unranked ordered trees. We consider information...
126
click to vote
ASPDAC
2004
ACM
16 years 6 days ago
2004
ACM
Abstract- Processing streaming media comprisesseveral program phases (often distinct) that are periodic and independent of application data. In this paper we characterize execution...
180
click to vote
ICESS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Traditional wisdom in programming language design suggests that there is a trade-off between expressive power and static guarantees. We describe a novel schema for desig...
182
click to vote
LOPSTR
2004
Springer
16 years 4 days ago
2004
Springer
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...