4767 search results - page 576 / 954 » Structures for Abstract Rewriting |
163
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
206
click to vote
MICCAI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We describe a virtual reality application for visualizing tensorvalued volume data acquired with diffusion tensor magnetic resonance imaging (DT-MRI). We have prototyped...
158
click to vote
MLDM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper proposes a general local learning framework to effectively alleviate the complexities of classifier design by means of “divide and conquer” principle and ...
221
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
157
click to vote
ROBOCUP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper describes a highly modular hierarchical behaviorbased control system for robots. Key features of the architecture include: easy addition/removal of behaviors, ...