Sciweavers

2783 search results - page 216 / 557
» The Nature Of Near-Synonymic Relations
Sort
View
APN
2003
Springer
15 years 7 months ago
Nets Enriched over Closed Monoidal Structures
Abstract. We show how the firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. On that basis we introduce closed monoidal str...
Eric Badouel, Jules Chenou
CSCLP
2003
Springer
15 years 7 months ago
Implementing Propagators for Tabular Constraints
Many real-life constraints describing relations between the problem variables have complex semantics and the constraint domain is defined using a table of compatible tuples rather ...
Roman Barták, Roman Mecl
FM
2003
Springer
89views Formal Methods» more  FM 2003»
15 years 7 months ago
Team Automata Satisfying Compositionality
A team automaton is said to satisfy compositionality if its behaviour can be described in terms of the behaviour of its constituting component automata. As an initial investigation...
Maurice H. ter Beek, Jetty Kleijn
CDC
2009
IEEE
154views Control Systems» more  CDC 2009»
15 years 6 months ago
Structure-preserving model reduction of complex physical systems
— Port-based network modeling of complex physical systems naturally leads to port-Hamiltonian system models. This motivates the search for structure-preserving model reduction me...
Arjan van der Schaft, Rostyslav V. Polyuga
MKM
2009
Springer
15 years 6 months ago
Math-Literate Computers
Sketch recognizers are an important part of the design of natural interfaces for many domains. However, current recognition technology is generally quite crude and difficult to w...
Dorothea Blostein