4359 search results - page 479 / 872 » Automated Pipeline Design |
150
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
We are designing dynamic analysis techniques to identify executed program statements where a fault lies, i.e. the fault candidate set. To narrow the set of statements in the fault...
137
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— We are motivated by the prospect of automating microbial observing systems. To this end we have designed and built a robotic boat as part of a sensor network for monitoring aqu...
173
click to vote
SEW
2007
IEEE
16 years 1 months ago
2007
IEEE
We revisit the automatic tool composition feature of the Electronic Tool Integration platform under the perspective of planning. It turns out that in todays terminology, ETIs temp...
187
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
176
click to vote
ICLP
2007
Springer
16 years 29 days ago
2007
Springer
This article describes the experiences developing a Semantic Web application entirely in Prolog. The application, a demonstrator that provides access to multiple art collections an...