6291 search results - page 356 / 1259 » Components Are from Mars |
158
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
This report presents a formal approach to reducing sequences in PEPA components. Performing the described amalgamation procedure we may remove, from the underlying Markov chain, t...
216
click to vote
OOIS
2000
Springer
15 years 10 months ago
2000
Springer
ABSTRACT. Cost-effective reconfiguration in ODBMSs is difficult to achieve due to the tradeoff between modularity and efficiency. Existing ODBMS designs offer limited reconfigurabi...
156
click to vote
CSCWD
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a simple and novel structure representation supporting the assembly and disassembly planning of electromechanical products. The proposed Relationship Matrix de...
154
click to vote
CLEF
2008
Springer
15 years 8 months ago
2008
Springer
This report is about our participation in the Answer Validation Exercise (AVE2008). Our system casts the AVE task into a Recognizing Textual Entailment (RTE) problem and uses an ex...
168
click to vote
DIAGRAMS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...