5510 search results - page 294 / 1102 » Mathematics |
151
click to vote
AUSDM
2007
Springer
16 years 10 days ago
2007
Springer
Many existing techniques for term extraction are heuristically-motivated and criticised as ad-hoc. The definitions and assumptions critical to set the boundary for the effective...
140
click to vote
CALCO
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Viewing discrete-time causal linear systems as (Mealy) coalgebras, we describe their semantics, minimization and realisation as universal constructions, based on the fin...
140
click to vote
CALCO
2007
Springer
16 years 10 days ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...
190
click to vote
DALT
2007
Springer
16 years 10 days ago
2007
Springer
Agent-based modelling approaches are usually based on logical languages, whereas in many areas dynamical system models based on differential equations are used. This paper shows ho...
156
click to vote
GECCO
2007
Springer
16 years 10 days ago
2007
Springer
The Blob Code is a bijective tree code that represents each tree on n labelled vertices as a string of n − 2 vertex labels. In recent years, several researchers have deployed th...