1204 search results - page 146 / 241 » Termination of Polynomial Programs |
89
Voted
CLUSTER
2004
IEEE
15 years 4 months ago
2004
IEEE
We describe the use of component architecture in an area to which this approach has not been classically applied, the area of cluster system software. By "cluster system soft...
139
click to vote
ACSD
2001
IEEE
15 years 4 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
63
Voted
ICRA
1995
IEEE
15 years 4 months ago
1995
IEEE
Integrating sensors into robot systems is an important step towards increasing the flexibility of robotic manufacturing systems. Current sensor integration is largely task-speciï...
102
Voted
CTRS
1987
15 years 4 months ago
1987
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...
112
Voted
ISMB
2000
15 years 2 months ago
2000
We present a computational approach to predicting operons in the genomes of prokaryotic organisms. Our approach uses machine learning methods to induce predictive models for this ...