Sciweavers

615 search results - page 29 / 123
» Completeness of Combinations of Constructor Systems
Sort
View
ICFP
2007
ACM
15 years 10 months ago
iTasks: executable specifications of interactive work flow systems for the web
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...
CONCUR
2008
Springer
15 years 7 months ago
Mixing Lossy and Perfect Fifo Channels
Abstract. We consider asynchronous networks of finite-state systems communicating via a combination of reliable and lossy fifo channels. Depending on the topology, the reachability...
Pierre Chambart, Ph. Schnoebelen
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
15 years 10 months ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...
GECCO
2004
Springer
150views Optimization» more  GECCO 2004»
15 years 11 months ago
Parameter Adaptation within Co-adaptive Learning Classifier Systems
The authors propose a co-adaptive approach to controlling parameters for coevolution-based learning classifier systems. By taking advantage of the on-line incremental learning capa...
Chung-Yuan Huang, Chuen-Tsai Sun
CLIN
2001
15 years 7 months ago
A Named Entity Recognition System for Dutch
We describe a Named Entity Recognition system for Dutch that combines gazetteers, handcrafted rules, and machine learning on the basis of seed material. We used gazetteers and a c...
Fien De Meulder, Walter Daelemans, Véroniqu...